tpprolog file3.pl