2014-09-16から1日間の記事一覧
単一化しようぜ ==の動作を見てみよう。 (define (== u v) (lambda (s/c) (let ((s (unify u v (car s/c)))) (if s (unit `(,s . ,(cdr s/c))) mzero)))) 前にも説明したように(== u v)はuとvが同一であることを宣言している。この時==は引数のstateであるs/…
単一化しようぜ ==の動作を見てみよう。 (define (== u v) (lambda (s/c) (let ((s (unify u v (car s/c)))) (if s (unit `(,s . ,(cdr s/c))) mzero)))) 前にも説明したように(== u v)はuとvが同一であることを宣言している。この時==は引数のstateであるs/…