https://123dok.net/document/y96lw5jy-pdf-support-de-cours-d-introduction-a-swi-prolog-formation-informatique.html