大·西蒙、和艾伦·纽厄尔三人于1957年编写的电脑程式，旨在作为解决通用问题的机器。任何可以表示为良式公式（WFFs）或霍恩子句，并构成一个以上源点（source，即公理）或汇点（sink，即期望结论）的有向图问题，原则上可以透过通用解难器来解决"。"谓词逻辑和欧几里德几何问题空间中的证明，是通用解难器适用领域的主要例子。通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作，也是首先将问题知识（将规则表示为输入数据）与问题解决策略（通用求解器引擎）分离开来的电脑程式。通用解难器是以三阶编程语言「资讯处理语言」