OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-atomspace / tests / query / absent-conn2.scm

54 lines · scm ref: 
(use-modules (opencog))

(define soln (SetLink (ListLink (ConceptNode "A") (ConceptNode "B"))))

(define test-absent
    (QueryLink
        (VariableList
            (TypedVariableLink (VariableNode "$var1") (TypeNode "ConceptNode"))
            (TypedVariableLink (VariableNode "$var2") (TypeNode "ConceptNode"))
        )
        (AndLink
            (ListLink
                (VariableNode "$var1")
                (VariableNode "$var2")
            )
            (AbsentLink
                (ListLink
                    (VariableNode "$var1")
                    (ConceptNode "X")
                )
            )
        )
        (ListLink
            (VariableNode "$var1")
            (VariableNode "$var2")
        )
    )
)

(define test-not-present
    (QueryLink
        (VariableList
            (TypedVariableLink (VariableNode "$var1") (TypeNode "ConceptNode"))
            (TypedVariableLink (VariableNode "$var2") (TypeNode "ConceptNode"))
        )
        (AndLink
            (ListLink
                (VariableNode "$var1")
                (VariableNode "$var2")
            )
            (NotLink (PresentLink
                (ListLink
                    (VariableNode "$var1")
                    (ConceptNode "X")
                )
            ))
        )
        (ListLink
            (VariableNode "$var1")
            (VariableNode "$var2")
        )
    )
)