Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
scheme? -> cKanren
74 views
Skip to first unread message
hirotaka...@gmail.com
Sep 5, 2012, 4:45:45 AM9/5/12
to
I made
scheme? -> cKanren
http://d.hatena.ne.jp/niitsuma/20081113/1346834459
Because allowedo does not work on Racket
usage
(run* (x)
(== x 3)
(scm?->ck number? x));=>(3)
(run* (x)
(scm?->ck number? x) ;;project does not work in this order
(== x 3)) ;=>(3)
(run* (x)
(== x 'a)
(scm?->ck number? x));=>'()
(run* (x) (scm?->ck number? x));=> '(_.0)
;;;; allowedo not work in racket
;; (test-check "8"
;; (run* (q) (allowedo symbol? q))
;; `((_.0 : (allowed (,symbol? _.0))))))
scheme? -> cKanren
http://d.hatena.ne.jp/niitsuma/20081113/1346834459
Because allowedo does not work on Racket
usage
(run* (x)
(== x 3)
(scm?->ck number? x));=>(3)
(run* (x)
(scm?->ck number? x) ;;project does not work in this order
(== x 3)) ;=>(3)
(run* (x)
(== x 'a)
(scm?->ck number? x));=>'()
(run* (x) (scm?->ck number? x));=> '(_.0)
;;;; allowedo not work in racket
;; (test-check "8"
;; (run* (q) (allowedo symbol? q))
;; `((_.0 : (allowed (,symbol? _.0))))))
0 new messages