alphaprolog.mly 12.9 KB