# SWI Prolog pl -s ../sys/occ.pl -g main . # GNU Prolog # gprolog --init-goal "[../sys/occ],main" # Sicstus Prolog # sicstus -l ../sys/occ # CIAO Prolog # ../sys/occ.ciao