連言(conjunction)
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.
２つのゴ−ルの連言（論理積AND）は、ゴ−ルの間にコンマオペレ−タ (,/2) を置くことによって実現されます。連言は、両方のゴ−ルが成功した場合にのみ成功します。
?- 'White' is_subordinate_to 'Smith' ,
'White' is_subordinate_to 'New'.
,/2は、以下のようなオペレ−タとして定義されることに注意して下さい。
?- ゴ−ルl,ゴ−ル2 は、
?- ','(ゴ−ルl,ゴ−ル2)と同価です。
Up
read on...