|
|
We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.
これまでいくつかの節をコンサルトし、新しい節を直接追加しました。ここで現在のデータベースを見てみることにしましょう。
(%%英語番では、'White" reports....がその前の５行より先に来ているがこれでOK?。)
?- listing. C1 is_subordinate_to C2 :- C1 reports_to C2.
C1 is_subordinate_to C2 :- C1 reports_to C3, C3 is_subordinate_to C2.
'White' reports_to 'Jones'. 'McDonald' reports_to 'Jones'. 'Hill' reports_to 'Smith'. 'Newman' reports_to 'Smith'. 'Nixon' reports_to 'Smith'. 'Smith' reports_to 'New'. 'Jones' reports_to 'New'. 'Old' reports_to 'Carter'. 'Old' reports_to 'Carter'.
yes ?- _
これでIF/Prologは、現在データベースにあるすべての事実と規則を表示しました。'Old' reports_to 'Carter'という事実を２度データベースに入力したことを思いだして下さい。最初はassertzを、２度目は[user]を使いました。
ひとつの述語のリストのみを見たい場合には、その関数子を指定して下さい。
?- listing(is_subordinate_to). C1 is_subordinate_to C2 :- C1 reports_to C2.
C1 is_subordinate_to C2 :- C1 reports_to C3, C3 is_subordinate_to C2.
yes ?- _
| document: http://www.ifcomputer.co.jp/IFProlog/Manuals/v4.1/user_guide/prepare/listing/print_jp.html published 2008/10/6 update 1994/7/26 (c) 1996-2006 IF Computer Japan | ||||||||
|
