OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-atomspace / tests / query / meet-link-eval.scm

29 lines · scm ref: 
; https://github.com/opencog/atomspace/issues/211

(use-modules (opencog))

(EdgeLink
   (ConceptNode "arkle")
   (ConceptNode "barkle")
   (ConceptNode "curry"))

(EdgeLink
   (ConceptNode "glib")
   (ConceptNode "blab"))

(define get
(Meet
   (VariableList (VariableNode "$a") (VariableNode "$b")
      (TypedVariableLink (VariableNode "$lnk")
          (TypeNode "EdgeLink")))
   (AndLink
       (VariableNode "$lnk")
       (EdgeLink
           (VariableNode "$a")
           (VariableNode "$b"))
       (EqualLink
           (VariableNode "$lnk")
           (EdgeLink
               (VariableNode "$a")
               (VariableNode "$b"))))))