Well, if I'm going to rip the dons at MIT for a crappy free interpreter, I should also give credit where credit is due. I moved on to the Prolog part of the Languages homework and found a perfectly adequate interpreter at http://www.gprolog.org. The manual is not the best, but it's good enough, and the actual interpreter seems to be pretty stout. So, if predicate calculus is on your todo list, you might want to check it out.
Side note on Prolog programming. Prolog is basically a logic satisfaction engine. As such, most of the problems that it naturally solves are by NP-Complete. Because Prolog does such a good job of hiding the details of the search, it's really easy to write an algorithm that is concise, easy to understand, and won't return a result for several thousand years.
No comments:
Post a Comment