A tiny implementation of a small subset of the Prolog language, 🐫 in OCaml. With small and fun examples. - View it on GitHub