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.

夫妻と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

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