Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#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