OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-atomspace / tests / query / quote-scope.scm

35 lines · scm ref: 
;
; quote-scope.scm
;
; This shows up in the URE, as a meta-pattern searching for patterns.
;
(use-modules (opencog))

(Rule
	(TypedVariable (Variable "X") (Type 'Concept))
	(Member (Variable "X") (Concept "foo"))
	(Member (Concept "bar") (Variable "X")))

(define quote-scope
	(Meet
		(VariableList
			(Variable "$P")
			(Variable "$Q")
			(TypedVariable
				(Variable "$TyVs")
				(TypeChoice (Type "TypedVariable") (Type "VariableList"))))
		(Present
			(Quote
				(Rule
					(Unquote (Variable "$TyVs"))
					(Unquote (Variable "$P"))
					(Unquote (Variable "$Q")))))))

; (cog-execute! quote-scope)

(define expect
	(List
		(Member (Variable "X") (Concept "foo"))
		(Member (Concept "bar") (Variable "X"))
		(TypedVariable (Variable "X") (Type 'Concept))))