For anyone looking to learn prolog, I highly recommend the ciao [1] system. It has many features that help both with exploring the language and with solving ac

For anyone looking to learn prolog, I highly recommend the ciao [1] system. It has many features that help both with exploring the language and with solving actual problems. It also supports some additional constraint programming stuff that I think is really cool. [1] - http://ciao-lang.org/ http://ciao-lang.org/