Questions - swi-prolog