GitHub - gl-yziquel/kanren: A declarative logic programming system

gl-yziquel / kanren Public

A declarative logic programming system

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 411 Commits
benchmarks		benchmarks
docs		docs
examples		examples
lib		lib
mini		mini
kanren-sourceforge.html		kanren-sourceforge.html
kanren-sourceforge.scm		kanren-sourceforge.scm
load-all-bigloo.scm		load-all-bigloo.scm
load-all-gauche.scm		load-all-gauche.scm
load-all-scm.scm		load-all-scm.scm
load-all.ss		load-all.ss
load-mini.ss		load-mini.ss