OverviewFilesCommitsIssuesDocsReleasesPeers

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

22 lines · scm ref: 
;
; buggy-equal-arithmetic.scm
;
; Unit test for github bug report opencog/atomspace#2284
;
(use-modules (opencog))

(Number 1)
(Number 2)
(Number 3)
(Number 4)
(Number 5)
(Number 6)

;; Exepcted result of running below is (Number 6)
(define arithmetic-search
	(MeetLink
		(TypedVariable (Variable "$X1") (Type 'NumberNode)) 
		(Equal (Plus (Variable "$X1") (Number 5)) (Number 11))))

; (cog-execute! arithmetic-search)