piston/packages/prolog/8.2.4/test.prolog