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

unaliased

@JvmStatic
@JvmOverloads
fun unaliased(    primitives: Map<Signature, Primitive> = emptyMap(),     theory: <ERROR CLASS> = Theory.empty(),     operatorSet: <ERROR CLASS> = OperatorSet(),     functions: Map<Signature, LogicFunction> = emptyMap()): Library
Content copied to clipboard

Creates an instance of Library with given parameters