|
|
|||||||||
expands a term to a clause.
expand_term(+Term, -ExpandedTerm)
If Term is a grammar rule of the form (Head --> Body) then expand_term expands Term to a clause and unifies it with ExpandedTerm.
Arguments
Term term ExpandedTerm clause
Examples
| expand_term((eval(Z) --> expr(X), ['+'], expr(Y), {Z is X+Y}),T). | Succeeds with unification T <- (eval(Z,L,R) :- expr(X,L,L1), L1 = [(+)|L2], expr(Y,L2,R), Z is X+Y). |
Standard
This predicate is not part of the ISO-Prolog Standard.
See also
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/grammar_rules/expand_term/print_de.html published 2008/12/1 update 1998/8/11 (c) 1996-2006 IF Computer Japan | ||||||||
|
