alphaprolog.opp.exp 10.3 KB