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.
夫妻と3人の子共がいるスミス家の人達は、訪問をしたいと考えてい
ますが、皆がすることはできません。以下は訪問に関するいくつかの
条件です。
スミス氏が訪問すれば、スミス夫人も訪問する。
少なくともマットとジョンの2人の息子のうちの一人は訪問する。
スミス夫人とティムのいずれかが訪問する。しかし両方ではない。
ティムとジョンのいずれも訪問する。 あるいは、両方とも訪問しない。
マットが訪問すれば、ジョンと父親も訪問する。
以下の質問により問題を解決することができます。
[user] ?- Mr_Smith_comes => Mrs_Smith_comes,
| Matt_comes \/ John_comes <=> 1,
| Mrs_Smith_comes # Tim_comes <=> 1,
| Tim_comes <=> John_comes,
| Matt_comes => John_comes /\ Mr_Smith_comes,
| label(Mr_Smith_comes, Mrs_Smith_comes,
| Matt_comes, John_comes, Tim_comes]).
Mr_Smith_comes = 0
Mrs_Smith_comes = 0
Matt_comes = 0
John_comes = 1
Tim_comes = 1
yes
|
