Title: Swi Prolog Reference Manual 6. 2. 2