hoge

hoge

(unify-match 1 '(? x)
             (singleton-stream '()))

(unify-match '(? x) 1
             (singleton-stream '()))

(unify-match '(? x) '(? x)
             (singleton-stream '()))

;(query-syntax-process '(?x ?x))
;(?x ?x) (?y ?y)
(unify-match '((? x) (? x)) '((? y) (? y))
             (singleton-stream '()))

(unify-match '((? y) (? x)) '((? x) (? y))
             (singleton-stream '()))


(unify-match '(? x) 1
             (extend '(? x) 2
                     (singleton-stream '())))

(unify-match '(? x) 2
             (extend '(? x) 2
                     (singleton-stream '())))

(unify-match '((? x) (? y)) '((? y) 1)
             (extend '(? x) 2
                     (singleton-stream '())))

(depends-on? '((? x) (? x)) '(? x)
             (singleton-stream '()))
(depends-on? '(? x) '(? x)
             (singleton-stream '()))
(depends-on? '(? x) '(? y)
             (singleton-stream '()))