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

functions

abstract val functions: Map<Signature, LogicFunction>
Content copied to clipboard

The library prolog functions, identified by their signature