Swi Prolog Reference Manual 6.2.2 door Thom Fruehwirth