Blog posts
-
An impractical pseudo-Prolog. December 5, 2014.
I built a pseudo-Prolog that tries to answer queries by building the least Herbrand model, as a final project for a class. I chose to build it in Haskell to take advantage of lazy evaluations, but even then I couldn't handle infinite sets.