opencog-atomspace / tests / query / or-meet-test.scm

#! /usr/bin/env guile
-s
!#
;
; or-meet-test.scm -- Verify that OrLink works in MeetLink, QueryLink too.
; Fixes Bug opencog/atomspace#2918
;

(use-modules (opencog))
(use-modules (opencog test-runner))

;;; (use-modules (opencog logger))
;;; (cog-logger-set-stdout! #t)
;;; (cog-logger-set-level! "FINE")

(opencog-test-runner)
(define tname "or-link-bind-link-test")
(test-begin tname)

; John attends college
(Evaluation
	(Predicate "Attends college")
	(List
		(Concept "John")))

(define get-student
	(CollectionOf (Meet
		; If X attends school or X attends college
		(Or
			(Evaluation
				(Predicate "Attends school")
				(List
					(Variable "$X")))

			(Evaluation
				(Predicate "Attends college")
				(List
					(Variable "$X")))))))

(test-assert "get John"
	(equal?  (cog-execute! get-student) (Set (Concept "John"))))

(define rewrite-student
	(CollectionOf (Query
		; If X attends school or X attends college
		(Or
			(Evaluation
				(Predicate "Attends school")
				(List
					(Variable "$X")))

			(Evaluation
				(Predicate "Attends college")
				(List
					(Variable "$X"))))

		; Then X is a student
		(Evaluation
			(Predicate "Is student")
			(List
				(Variable "$X"))))))

(test-assert "John is student"
	(equal?  (cog-execute! rewrite-student) (Set
		(Evaluation
			(Predicate "Is student")
			(List (Concept "John"))))))

(test-end tname)

(opencog-test-end)