对它的模型建立新的陈述。世界上知识不断膨胀。传统来说，我们会将一个问题陈述成单一的假设。逻辑编程的程式透过证明这个假设在模型里是否为真来解决问题。一些经常用到逻辑编程工具的范畴：最常用的逻辑编程语言是Prolog，另外有较适用于大型方案的Mercury。详尽的清单可见于。
历史.早在二十世纪七十年代，等人提出了逻辑可以作为程序设计语言的基本思想，把逻辑和程序这两个截然不同的概念协调统一为一个概念，于是诞生了逻辑程序设计。这也是早期自动定理证明和人工智能发展的自然结果。随后