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

;
; Test Data from bug opencog/atomspace #910
;

(use-modules (opencog))

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

;; ----------------------------------------------------------------
;; Helper functions

(define (content-1)
   (TagLink
      (ConceptNode "Socrates@81011e61-27a7-4001-a63b-3b569478bced")
      (ScopeLink
         (VariableNode "$X")
         (EdgeLink
            (PredicateNode "breathe@ea723bda-70bb-47c0-8930-b344fb47a4d1")
            (ListLink
               (VariableNode "$X")
               (ConceptNode "air@76357ee3-d334-4b5f-b49e-323b294310b6")
            )
         )
      )
   )
)


(define (content-2)
; TagLink having the same Variable name as rule
   (TagLink
      (ConceptNode "Socrates@81011e61-27a7-4001-a63b-3b569478bced")
      (ScopeLink
         (VariableNode "$X-M2E")
         (EdgeLink
            (PredicateNode "breathe@ea723bda-70bb-47c0-8930-b344fb47a4d1")
            (ListLink
               (VariableNode "$X-M2E")
               (ConceptNode "air@76357ee3-d334-4b5f-b49e-323b294310b6")
            )
         )
      )
   )
)


(define (member-to-evaluation-2-1-rule)
   (CollectionOf
   (QueryLink
      (VariableList
         (VariableNode "$B")
         (VariableNode "$C")
         (TypedVariableLink
            (VariableNode "$D")
            (TypeNode "PredicateNode")
         )
      )
      (TagLink
         (VariableNode "$B")
         (ScopeLink
            (VariableNode "$X-M2E")
            (EdgeLink
               (VariableNode "$D")
               (ListLink
                  (VariableNode "$X-M2E")
                  (VariableNode "$C")
               )
            )
         )
      )
      (ExecutionOutputLink
         (GroundedSchemaNode "scm: member-to-evaluation-formula")
         (ListLink
            (EdgeLink
               (VariableNode "$D")
               (ListLink
                  (VariableNode "$B")
                  (VariableNode "$C")
               )
            )
            (TagLink
               (VariableNode "$B")
               (ScopeLink
                  (VariableNode "$X-M2E")
                  (EdgeLink
                     (VariableNode "$D")
                     (ListLink
                        (VariableNode "$X-M2E")
                        (VariableNode "$C")
                     )
                  )
               )
            )
         )
      )
   )
   )
)

; Same as above, but apha-renamed deduction. Should get the same
; results.
(define (member-to-evaluation-2-1-alt)
   (CollectionOf
   (QueryLink
      (VariableList
         (VariableNode "$B")
         (VariableNode "$C")
         (TypedVariableLink
            (VariableNode "$D")
            (TypeNode "PredicateNode")
         )
      )
      (TagLink
         (VariableNode "$B")
         (ScopeLink
            (VariableNode "$X-M2E")
            (EdgeLink
               (VariableNode "$D")
               (ListLink
                  (VariableNode "$X-M2E")
                  (VariableNode "$C")
               )
            )
         )
      )
      (ExecutionOutputLink
         (GroundedSchemaNode "scm: member-to-evaluation-formula")
         (ListLink
            (EdgeLink
               (VariableNode "$D")
               (ListLink
                  (VariableNode "$B")
                  (VariableNode "$C")
               )
            )
            (TagLink
               (VariableNode "$B")
               (ScopeLink
                  (VariableNode "$some-bound-var")
                  (EdgeLink
                     (VariableNode "$D")
                     (ListLink
                        (VariableNode "$some-bound-var")
                        (VariableNode "$C")
                     )
                  )
               )
            )
         )
      )
   )
   )
)

(define tvkey (Predicate "*-TruthValueKey-*"))

(define (get-tv ATOM)
	(cog-value ATOM tvkey))

(define (member-to-evaluation-formula EVAL MEM)
	(define tv (get-tv MEM))
	(if tv (cog-set-value! EVAL tvkey tv) EVAL))