alphaprolog.opp.exp 17.5 KB