swi-prolog.tex 310 Bytes