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

aliased

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

Creates an instance of AliasedLibrary with given parameters