alphaprolog.mly 12.8 KB