cleared up trivial diferences from SWI-Prolog syntax