Author here. I like Prolog, and you might enjoy my https://github.com/darius/pythological https://github.com/darius/pythological. Here's an excellent free book:

Author here. I like Prolog, and you might enjoy my https://github.com/darius/pythological https://github.com/darius/pythological. Here's an excellent free book: http://www.mtome.com/Publications/PNLA/prolog-digital.pdf http://www.mtome.com/Publications/PNLA/prolog-digital.pdf But the first draft of the article was already stuffed too full without even trying to go past propositional logic; it had to be cut, not expanded.