|
|
|||||||||
項を節に展開する。
expand_term(+項, -展開された項)
もし、項 が(ヘッド --> 本体)の形式の文法規則ならば、expand_term は、項を節に展開し、 ExpandedTermに単一化される。
引数
項 項 展開された項 節
例
| expand_term((eval(Z) --> expr(X), ['+'], expr(Y), {Z is X+Y}),T). | 以下の単一化で、成功 。T <- (eval(Z,L,R) :- expr(X,L,L1), L1 = [(+)|L2], expr(Y,L2,R), Z is X+Y). |
標準
この述語は、ISO-Prolog 標準にはふくまれない。
関連
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/grammar_rules/expand_term/print_jp.html published 2012/5/21 update 1998/8/11 (c) 1996-2009 IF Computer Japan | ||||||||
|
