逻辑编程（逻辑进程设计）是种编程典范，它设置答案须符合的规则来解决问题，而非设置步骤来解决问题。过程是

不同的方法，可以看Inductive logic programming。

逻辑编程的要点是将正规的逻辑风格带入电脑编程之中。数学家和哲学家发现逻辑是有效的理论分析工具。很多问题可以自然地表示成一个理论。说需要解答一个问题，通常与解答一个新的假设是否跟现在的理论无冲突等价。逻辑提供了一个证明问题是真还是假的方法。创建证明的方法是人所皆知的，故逻辑是解答问题的可靠方法。逻辑编程系统则自动化了这个进程。人工智能在逻辑编程的发展中发挥了重要的影响。

Logic programming is a programming paradigm based on formal logic. A program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, Answer set programming (ASP) and Datalog. In all of these languages, rules are written in the form of clauses: