This repository has been archived by the owner. It is now read-only.
Racket
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
prelude
.gitignore
LICENSE
README.md
constraint.rkt
contract.rkt
debug.rkt
goal.rkt
id.rkt
let-loop.rkt
memorize.rkt
state.rkt
stream.rkt
struct.rkt
types.rkt
zk.rkt
zkanren-test-env.rkt
zkanren.rkt

README.md

zKanren

警告:zKanren有bug,不再维护,之后将被重写

(require "zkanren.rkt")
(runzk* () fail) ;; => '(())
(define-relation (r) (all succeed (r)))
(runzk* () (r)) ;; => '(() ())
(define-relation (r2) (conde (succeed) ((r2))))
(runzk* () (all (r2) fail)) ;; => '(())