Tiny-Prolog-in-OCaml-OneFile
Jupyter Notebook
★ 5
updated 1y ago
A tiny implementation of a small subset of the Prolog language, 🐫 in OCaml. With small and fun examples.
No plain-English explanation yet — one is being written right now. Check back in a minute.