#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

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks