有效的理论分析工具。很多问题可以自然地表示成一个理论。说需要解答一个问题，通常与解答一个新的假设是否跟现在的理论无冲突等价。逻辑提供了一个证明问题是真还是假的方法。建立证明的方法是人所皆知的，故逻辑是解答问题的可靠方法。逻辑编程系统则自动化了这个程序。人工智能在逻辑编程的发展中发挥了重要的影响。是逻辑编程社群的着名问题。电脑须自行找出令猴子接触香蕉的可行方法，取代程式设计师指定猴子接触香蕉的路径和方法。逻辑编程建立了描述一个问题里的世界的逻辑模型。逻辑编程的目标是对它的模型建立新的陈述。世界上知识不