:- use_module(library(function_expansion)).
user:function_expansion(incr(N), X, X is N+1).
main :-
format('After 2 comes ~p~n', [incr(2)]).
Prolog doesn't offer function syntax. Anything one can do with functions, she can do with predicates. The syntax is a little verbose because it requires an auxiliary variable.
For example, one might approximate pi:
pi(3.14159).
main :-
pi(Pi),
format('pi is roughly ~p~n', [Pi]).
It's often obnoxious to think up a name for an auxiliary variable.
function_expansion/3 lets you write macros so that pi
can be included
directly in format's arguments. Auxiliary variables are generated for
you at compile time.
Repository available on GitHub: https://github.com/mndrix/function_expansion
Using SWI-Prolog 6.3 or later:
$ swipl
1 ?- pack_install(function_expansion).