Swi Prolog Reference Manual 6.2.2 by Thom Fruehwirth