solve/it.unibo.tuprolog.solve.library/Library/Companion/of

of

fun of(alias: String, primitives: Map<Signature, Primitive> = emptyMap(), clauses: Iterable<Clause> = emptyList(), operators: OperatorSet = OperatorSet(), functions: Map<Signature, LogicFunction> = emptyMap()): Library

Creates a Library named alias, bundling primitives, clauses, operators and functions.

Throws

IllegalArgumentException

if alias does not match ALIAS_SEPARATOR-joined word segments (i.e. ^\w+(\.\w+)*$).

fun of(primitives: Map<Signature, Primitive> = emptyMap(), clauses: Iterable<Clause> = emptyList(), operators: OperatorSet = OperatorSet(), functions: Map<Signature, LogicFunction> = emptyMap()): Library

Same as of, defaulting alias to "default".

fun of(alias: String = DEFAULT_ALIAS, library: Library): Library

Creates a copy of library renamed to alias ("default" by default).