An implementation of a tiny logical Prolog-like language based on SLD-resolution
Latest commits.
Builders behind this project.
