sitelogo
データベースのリスティング
MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

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 ?- _

戻る 続く..
冒頭へ managed with ubiCMS