interazione e jpl finiti
codice interprolog