文件名称：智能逻辑解题器
文件大小：88KB
文件格式：RAR
更新时间：2010-11-10 10:59:05
搜索 编译 自定义语言 逻辑
通用的逻辑题目搜索程序。能够解决诸如爱因斯坦难题之类的逻辑题目。
为了能够表达现实的逻辑题目，软件作者设计了一门语言，这门语言一方面很简单，另一方面也具有很强的表达能力。对于一个实际的逻辑问题，用户只需要用这门语言描述一下，就可一交给程序搜索需要的解。同时用户还可以按照自己的需求定义输出的格式。
【文件预览】：
znlog
----ZnlogWin.exe(44KB)
----znlog.exe(120KB)
----帮助文件.doc(100KB)
----samples()
--------爱因斯坦的难题.txt(1KB)
--------梦中情人.txt(999B)
--------三个A.txt(171B)
--------艾黎斯与谋杀案.txt(1KB)
--------最佳选手.txt(934B)
--------安东尼的名次.txt(615B)
--------个个撒谎.txt(1KB)
--------父与子.txt(613B)
--------白马王子.txt(952B)
--------六个G.txt(197B)
--------九宫数独.txt(3KB)
--------王牌.txt(591B)
--------祸起萧墙.txt(1KB)