OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-atomspace / tests / query / choice-unary.scm

33 lines · scm ref: 
;
; Testing of ChoiceLink, where the ChoiceLink has just a single
; member in it. Thus, if behaves just like a single-member PresentLink.
;
(use-modules (opencog))

(EvaluationLink (PredicateNode "door A") (ConceptNode "locked"))
(EvaluationLink (PredicateNode "door A") (ConceptNode "closed"))

(EvaluationLink (PredicateNode "door B") (ConceptNode "unlocked"))
(EvaluationLink (PredicateNode "door B") (ConceptNode "closed"))

(EvaluationLink (PredicateNode "door C") (ConceptNode "unlocked"))
(EvaluationLink (PredicateNode "door C") (ConceptNode "open"))

; Should find only door A
(define (get-a) (MeetLink
    (AndLink
       (ChoiceLink
          (EvaluationLink (VariableNode "$door") (ConceptNode "locked")))
       (ChoiceLink
          (EvaluationLink (VariableNode "$door") (ConceptNode "closed")))
      )))

; Should find doors B and C
(define (get-bc) (MeetLink
    (AndLink
       (ChoiceLink
          (EvaluationLink (VariableNode "$door") (ConceptNode "unlocked")))
       (ChoiceLink
          (EvaluationLink (VariableNode "$door") (VariableNode "$ajar")))
      )))