Exploring Prolog

We're going to start playing with a niche computer language, called Prolog. First steps. learning what it's all about: http://en.wikipedia.org/wiki/Prolog

just one data type, called a "term" programs describe relations computation in a program consists of queries over relations negation in the language is akin to failure, ie if a query fails to determine a valid relation, then the term used as input is "false" Prolog is Turing Complete It seems like an awkward language in practice, but looks fascinating in theory!