Logic and functional programming language with declarative syntax
Logic/functional programming language
mmc
mercury
$ mmc --make program.m
$ mercury
$ mmc --make -O4 program.m