├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── ck.ml ├── debug.sh ├── fd.ml ├── main.ml └── mk.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manshengyang/minikanren-ocaml/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manshengyang/minikanren-ocaml/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manshengyang/minikanren-ocaml/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | an implementation of miniKanren in OCaml 2 | -------------------------------------------------------------------------------- /ck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manshengyang/minikanren-ocaml/HEAD/ck.ml -------------------------------------------------------------------------------- /debug.sh: -------------------------------------------------------------------------------- 1 | make debug && OCAMLRUNPARAM=b ./main.d.byte 2 | -------------------------------------------------------------------------------- /fd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manshengyang/minikanren-ocaml/HEAD/fd.ml -------------------------------------------------------------------------------- /main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manshengyang/minikanren-ocaml/HEAD/main.ml -------------------------------------------------------------------------------- /mk.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/manshengyang/minikanren-ocaml/HEAD/mk.ml --------------------------------------------------------------------------------