interprolog a 2