智能通用逻辑问题解题器 ZnlogWin v1.0 绿色版.rar

通用的逻辑题目搜索程序。能够解决诸如爱因斯坦难题之类的逻辑题目。 为了能够表达现实的逻辑题目,软件作者设计了一门语言,这门语言一方面很简单,另一方面也具有很强的表达能力。对于一个实际的逻辑问题,用户只需要用这门语言描述一下,就可一交给程序搜索需要的解。同时用户还可以按照自己的需求定义输出的格式。 五一的时候我发现一本逻辑题目的小册子,买过来之后本想做做脑力体操消磨一下时间,可是做了不到3到题我就不耐烦了,闲下来我就想能否写一个程序让计算机去求解这类问题呢,经过整个假期的努力居然做成了,欣喜之余我忍不住就想把它共享出来。 首先我们看一下书里面的第一个题目: 斯科特先生、他的妹妹、他的儿子、他的女