dboulytchev / microProlog

An implementation of a tiny logical Prolog-like language based on SLD-resolution

Geek Repo

Github PK Tool