http://www.coli.uni-saarland.de/~kris/learn-prolog-now/index.php