Pyke - Python Logic Programming

Agreed, it sounds like an interesting library but I want to see some examples first to get a quick taste before I commit to downloading or trawling through the documentation.

It could be interesting to see a solution in Pyke of some popular puzzles such as "Einstein's Riddle" http://stackoverflow.com/questions/318888/solving-who-owns-t...