智能逻辑解题器

通用的逻辑题目搜索程序。能够解决诸如爱因斯坦难题之类的逻辑题目。为了能够表达现实的逻辑题目,软件作者设计了一门语言,这门语言一方面很简单,另一方面也具有很强的表达能力。对于一个实际的逻辑问题,用户只需要用这门语言描述一下,就可一交给程序搜索需要的解。同时用户还可以按照自己的需求定义输出的格式。