defaultBuiltins
The standard-library predicates and rules of :solve-concurrent (see it.unibo.tuprolog.solve.concurrent.stdlib.DefaultBuiltins).
The standard-library predicates and rules of :solve-concurrent (see it.unibo.tuprolog.solve.concurrent.stdlib.DefaultBuiltins).