solve/it.unibo.tuprolog.solve.library/Library/hasPrimitive

hasPrimitive

open fun hasPrimitive(signature: Signature): Boolean
Content copied to clipboard

Checks whether this library has a Primitive with provided signature