https://123dok.com/document/z11ml3ez-textbook-tif-prolog-tutorial.html