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

functions

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

The library prolog functions, identified by their signature