#24 TheSetOf doesn't work with backchaining

v0.7
open
nobody
5
2003-05-13
2003-05-13
Yeb Havinga
No

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.

Discussion