To run GNU Prolog enter  gprolog