OverviewFilesCommitsIssuesDocsReleasesPeers

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

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

(Inheritance (Concept "Jim") (Concept "Father"))
(Inheritance (Concept "Jane") (Concept "Mother"))

(define put-get-multi
	(PutLink
		(LambdaLink
			(VariableList (Variable "x") (Variable "y"))
			(EdgeLink
				(PredicateNode "relatives")
				(ListLink
					(Variable "x")
					(Variable "y")
					(Concept "mom and pop"))))
		(ListLink
			(CollectionOf (MeetLink (TypedVariable (Variable "$X") (Type 'ConceptNode))
				(Inheritance (Variable "$X") (Concept "Father"))))
			(CollectionOf (MeetLink (TypedVariable (Variable "$X") (Type 'ConceptNode))
				(Inheritance (Variable "$X") (Concept "Mother")))))))

(define put-get-multi-empty
	(PutLink
		(LambdaLink
			(VariableList (Variable "x") (Variable "y"))
			(EdgeLink
				(PredicateNode "relatives")
				(ListLink
					(Variable "x")
					(Variable "y")
					(Concept "mom and pop"))))
		(ListLink
			(CollectionOf (MeetLink (TypedVariable (Variable "$X") (Type 'ConceptNode))
				(Inheritance (Variable "$X") (Concept "Father"))))
			(CollectionOf (MeetLink (TypedVariable (Variable "$X") (Type 'ConceptNode))
				(Inheritance (Variable "$X") (Concept "XeZir")))))))