quote-impossible.scm · pear-git-v3

;
; quote-impossible.scm
;
; Currently triggers bug #1531 "Impossible situation"
; The problem is that the search tries to start within
; the QuoteLink, but do_term_up does not like that.
;
(define imp
  (SatisfactionLink
    (TypedVariable
      (VariableNode "$A")
      (TypeNode "PredicateNode"))
    (AndLink
      (VariableNode "$A")
      (RuleLink
        (VariableNode "$A")
        (QuoteLink
          (InheritanceLink
            (VariableNode "$x") 
            (ConceptNode "criminal")))))))

; (define (sat-imp) (cog-execute! imp))

opencog-atomspace / tests / query / quote-impossible.scm