Hi all, I'm composing some use examples of Atomspace via CogServer, and I'm encountering some strange behavior. If I enter:
*;John attends college(Evaluation (Predicate "Attends college") (List (Concept "John")));trigger graph rewriting(cog-execute! (Bind ;if X attends school or X attends college (Or (Evaluation (Predicate "Attends school") (List (Variable "$X"))) (Evaluation (Predicate "Attends college") (List (Variable "$X")))) ;then X is a student (Evaluation (Predicate "Is student") (List (Variable "$X")))))* I get unexpected output: *(SetLink)* On the other hand, if I enter: *;John attends college(Evaluation (Predicate "Attends college") (Concept "John"));trigger graph rewriting(cog-execute! (Bind ;if X attends school or X attends college (Or (Evaluation (Predicate "Attends school") (Variable "$X")) (Evaluation (Predicate "Attends college") (Variable "$X"))) ;then X is a student (Evaluation (Predicate "Is student") (Variable "$X"))))* then the output is expectedly: *(SetLink (EvaluationLink (PredicateNode "Is student") (ConceptNode "John")))* The only difference is in presence of ListLink in the first example, or in absence of it in the second. Is this behavior intended, or the output in the first example is not correct? Thank you for attention, - ivan - -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAB5%3Dj6V7v4%3DBXDxfRUE8mX7JdsYd-batKHq%3DwzqDbCUR%3D1F_oQ%40mail.gmail.com.
