expand_term/2 /MINERVA/Manual/Reference/Predicates/grammar_rules/expand

項を節に展開する。...

移動
次へ	前へ
上へ	最上

参考

expand_term/2

phrase/2

イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 文法規則 > expand_term/2

expand_term/2

項を節に展開する。

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 標準にはふくまれない。

関連

phrase/2.

続く..

MINERVA

Expert Services on the Web

言語

サーバー

サイトマップ

索引

全体目次

全体索引

印刷向き

imode

PDA

探索

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/grammar_rules/expand_term/home_jp.html
published 2008/6/30 update 1998/8/11 (c) 1996-2006 IF Computer Japan

IF Computer	〒113-0022	Tel 03-5814-3352	ifcj@ifcomputer.co.jp
Customer Support	東京都文京区千駄木5-28-2		http://www.ifcomputer.co.jp

冒頭へ