事実(fact)
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の事実 reports_to('Old','Carter'). は、
ル−ル reports_to('Old','Carter') :- true. の省略形です。
Up
read on...