OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-atomspace / tests / atoms / scope / put-get-lambda.scm

29 lines · scm ref: 
(Inheritance (Concept "B") (Concept "Parent"))
(Inheritance (Concept "C") (Concept "Parent"))

(define put-get-lambda
 (PutLink
  (LambdaLink
   (VariableNode "x")
   (EdgeLink
    (PredicateNode "relation")
    (ListLink
     (VariableNode "x")
     (ConceptNode "A"))))
  (CollectionOf
   (MeetLink
    (Inheritance (Variable "$X") (Concept "Parent"))))))

(define expected-put-get-lambda
 (SetLink
  (EdgeLink
   (PredicateNode "relation")
   (ListLink
    (ConceptNode "B")
    (ConceptNode "A")))
  (EdgeLink
   (PredicateNode "relation")
   (ListLink
    (ConceptNode "C")
    (ConceptNode "A")))))