節のヘッド(head of clause)
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.
先頭 :-ボディ.
節の先頭は、記号":-"の左側にあるものです。IF/Prologでは、先頭は単一なアトム、あるいは複合項でなければなりません（述語名と０個以上の引数）。節のボディは、記号":-"の右側にあるものです。通常ボディは、","または";"で結合されるいくつかの節から成ります。
:- ボディ. 先頭.
先頭が空の場合にはその節は指令となり、すぐに実行されます。
ボディが空の場合には先頭は事実となり、これは 先頭 :- true.の省略形です。
Up
read on...
