solve-classic/it.unibo.tuprolog.solve.classic.stdlib/DefaultBuiltins

DefaultBuiltins

object DefaultBuiltins
Content copied to clipboard

Properties

Link copied to clipboard
open val primitives: Map<<ERROR CLASS>, <ERROR CLASS>>
Content copied to clipboard
Link copied to clipboard
open val theory: <ERROR CLASS>
Content copied to clipboard