opencog-atomspace / tests / query / sparse-list.scm

;
; sparse-list.scm
;
; Similar to sparse.scm, but uses ListLinks.
;

(use-modules (opencog))

(define est
	(MeetLink
		(VariableList
			(TypedVariable (Variable "$vA") (Type 'Concept))
			(TypedVariable (Variable "$vB") (Type 'Predicate))
			(TypedVariable (Variable "$vC") (Type 'Any))

			(Variable "$vD")
			(Glob "rest"))

		(Unordered
			(List (Variable "$vB") (Variable "$vA"))
			(List (Variable "$vC") (Variable "$vB"))
			(List (Variable "$vD") (Variable "$vC"))
			(Glob "rest"))
	))

(Unordered
	(List (Predicate "B") (Concept "A"))
	(List (Any "C") (Predicate "B"))
	(List (Procedure "D") (Any "C"))
	(List (Anchor "E") (Procedure "D"))
	(List (Anchor "F") (Anchor "E"))
	(List (Anchor "G") (Anchor "F"))
)

; (cog-execute! est)
; ---------------------------------------------------------------------

; Palindrome matching.
; Note that the variable tags differ from the above, and so the
; query below will not match the data above.
(define palin
	(MeetLink
		(VariableList
			(TypedVariable (Variable "$vA") (Type 'Predicate))
			(TypedVariable (Variable "$vB") (Type 'Concept))
			(TypedVariable (Variable "$vC") (Type 'Any))

			(Variable "$vD")
			(Glob "rest")
		)

		(Unordered
			(List (Variable "$vB") (Variable "$vA"))
			(List (Variable "$vC") (Variable "$vB"))
			(List (Variable "$vD") (Variable "$vC"))
			(Glob "rest")
		)))

(Unordered
	(List (Concept "BB") (Predicate "AA"))
	(List (Any "CC") (Concept "BB"))
	(List (Procedure "DD") (Any "CC"))
	(List (Procedure "DD") (Any "EE"))
	(List (Any "EE") (Concept "FF"))
	(List (Concept "FF") (Predicate "GG"))
)

; ---------------------------------------------------------------------