If X is a formula that can only be inferred with
backchaining (with 0 transformation steps the formula is
unknown) then the term
(TheSetOf ?THING X) denotes the empty set.
X has to be an assertion in the KB. (forward chained, or
asserted manually) for TheSetOf to work.
Log in to post a comment.