Calling SWI-Prolog from PHP (short)