。"谓词逻辑和欧几里德几何问题空间中的证明，是通用解难器适用领域的主要例子。通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作，也是首先将问题知识（将规则表示为输入数据）与问题解决策略（通用求解器引擎）分离开来的电脑程式。通用解难器是以三阶编程语言「资讯处理语言」（IPL）来实现。虽然通用解难器能够解决一些诸如河内塔等可被充分形式化的简单问题，但无法用来解决现实世界中的问题，这是因为搜索很容易在中丢失。换句话说，透过推断有向图的「走访」次数在计算上变得难以为继。（在实践中，即使像河内塔这样直截了当的状态