Prolog's intrepreting