solve/it.unibo.tuprolog.solve.exception.error/ExistenceError/Companion/forProcedure

forProcedure

fun forProcedure(context: ExecutionContext, procedure: Signature): ExistenceError

Creates an ExistenceError reporting that procedure does not exist (i.e. is not defined in the current knowledge bases/libraries).