user:function_expansion/3

Did you know ...

Search Documentation:

Predicate function_expansion/3

HOME
DOWNLOAD
DOCUMENTATION
- Manual
- Packages
- FAQ
- Command line
- PlDoc
- Bluffers▶
- License
- Publications
- Rev 7 Extensions
TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
  - ClioPatria
  - RDF namespaces
- Graphics▶
  - XPCE
  - GUI options
- Machine learning▶
  - Probabilistic Logic Programming
- External collections▶
  - Meta level tutorials
- For packagers▶
  - Linux packages
COMMUNITY
COMMERCIAL
WIKI
- Login
- View changes
- Sandbox
- Wiki help
- All tags

user:function_expansion(+Term, -Replacement, -Guard) is semidet[private]

Like term_expansion/2, function_expansion/3 provides for macro expansion of Prolog source code. In this case, by expanding Term which is nested inside a parent term. Term is replaced with Replacement. Guard is placed as a conjunction before the parent term. Guard typically binds Replacement in some useful fashion.

For example, a function macro which doubles its argument might expand this

user:function_expansion(double(X), Y, Y is 2*X).
main :-
    V = 9,
    format('~p times 2 is ~p~n', [V, double(V)]).

into this

==
main :-
    V = 9,
    A is 2*V,
    format('~p times 2 is ~p~n', [V, A]).
==

Mathematical constants might be implemented like

==
user:function_expansion(pi, 3.14159, true).
==