https://123dok.net/document/zwvdn0lq-pdf-support-de-cours-du-langage-prolog-en-pdf-formation-informatique.html