cc  -o prologx -O   main.c alloc.c check.c compsup.c convert.c fileio.c lowlevel.c primitive.c read.c write.c zip.c  -lc
