io-lib/it.unibo.tuprolog.solve.libs.io.primitives/SetTheory

SetTheory

object SetTheory : UnaryPredicate.NonBacktrackable<ExecutionContext>

Non-ISO, tuProlog-specific predicate: set_theory/1 parses the atom argument as Prolog source text (using it.unibo.tuprolog.theory.parsing.ClausesParser with the context's current operators) and replaces the solver's static and dynamic knowledge base, operators and flags with what that text defines. See setTheory for the shared implementation (also used, with append = true, by Consult to load a theory fetched from a it.unibo.tuprolog.solve.libs.io.Url).

?- set_theory('parent(tom, bob). parent(bob, ann).').

Throws

it.unibo.tuprolog.solve.exception.error.InstantiationError

if the argument is unbound.

it.unibo.tuprolog.solve.exception.error.TypeError

if it is bound but not an atom.

it.unibo.tuprolog.solve.exception.error.SyntaxError

if it is not well-formed Prolog source text.

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

functor

val functor: String

implementation

override val implementation: Primitive

signature

val signature: Signature

Functions

setTheory

fun Solve.Request<ExecutionContext>.setTheory(text: String, append: Boolean = true): Solve.Response

Parses text as Prolog source, then either appends its clauses/operators/flags to the solver's current ones (used by Consult) or, if not append, replaces them wholesale (used by SetTheory itself, which always calls this with append = false).