ここでは、対話的プログラミングツール"iptool"をコンサルトします。
以下のような内容のファイル"iptool"を述語edit/1を使って作成して下さい（editor/2を参照して下さい）。ファイルに書き込み、エディタを終了すると、IF/Prologは自動的にファイルをリコンサルトし、インタプリタレベルに戻ります。
?- edit( iptool).
% two built-in predicates are used in this program that % allow users to write interactive programs in IF/Prolog % "read(Input)", "write(Output)". Combined with "asserta" % they form this interactive programming tool.
:- op(100,xfy,reports_to).
iptool :- write('To finish, type in: stop.\n'), write('Type in terms like: X reports_to Y.\n'), repeat, write(:),tab(1), read(Term), interpreter(Term).
interpreter(stop) :- !. interpreter(X reports_to Y) :- !, asserta(X reports_to Y), fail. interpreter(_):- !, write('"X reports_to Y." expected, try again:\n'), fail.
reconsult: file 'iptool' loaded in 1 sec.
yes ?- _
この対話的プログラミングツールをコマンドiptoolで動かし、アサ−トしたい節を入力して下さい。
?- iptool.
To finish, type in : stop. Type in terms like : X reports_to Y. : 'Mr.Friday' reports_to 'Mr.Monday'. :_ . . . : stop.
"stop."を入力すると、iptoolは名前を要求するのを止めます。
述語"listing(reports_to)."は、以下のように"iptool"によってアサ−トされた入力を示します。
?- listing(reports_to). ....