文法規則の展開機能が、IF/Prolog4.0から変更されました。IF/Prologはユーザが与えるパラメータリストの末尾の2つの追加パラメータを使用します。新しい述語であるexpand_term/2とphrase/2を見て下さい。