OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-atomspace / tests / query / buggy-equal-unify.scm

31 lines · scm ref: 
;
; buggy-equal-unify.scm
; Unit test for https://github.com/opencog/atomspace/issues/2650
; Unification of variables was mis-handled.
;

(use-modules (opencog))

(Member
	(Evaluation
		(Predicate "has_name")
		(List (Concept "node1") (Concept "name1")))
	(Concept "node2"))

(define qunify
	(Query
		(And
			(Member
				(Evaluation (Predicate "has_name") (Variable "Y"))
				(Concept "node2"))
			(Equal
				(Variable "Y")
				(List (Variable "N") (Concept "name1"))))
		(Variable "Y")))

; (cog-execute! qunify)

; Expected result of above
(define expected
	(List (Concept "node1") (Concept "name1")))