An impractical pseudo-Prolog
Posted on December 5, 2014, by joom, in: prolog, logic, programming, haskell
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.