Source: http://lim.univ-reunion.fr/staff/fred/Enseignement/Prolog/LPN/prolog-notes.pdf