functional-prolog Prolog macros for easier programming in a more functional style, with syntax similar to haskell do notation and erlang.