項を節に展開する。
もし、項 が(ヘッド --> 本体)の形式の文法規則ならば、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 標準にはふくまれない。
| 冒頭へ |
|