OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-atomspace / tests / query / meet-link-exec-pattern.scm

17 lines · scm ref: 
;
; Data and tests for Executable Pattern
;

(use-modules (opencog))

(PlusLink (NumberNode 3) (NumberNode 5))

(define plus-pattern
	(Meet
		(VariableList
			(TypedVariableLink (VariableNode "$A") (TypeNode "NumberNode"))
			(TypedVariableLink (VariableNode "$B") (TypeNode "NumberNode")))
		(Present (PlusLink (VariableNode "$A") (VariableNode "$B")))))

; (cog-execute! plus-pattern)