Title: Swi Prolog Reference Manual 7. 1