邏輯編程 （ ??程序?? ）是種 編程典範 ，?設定答案須符合的規則來解決問題，而非設定步驟來解決問題。過程是

算法=邏輯+控制。

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

邏輯編程的要點是將正規的 邏輯 風格帶入電腦程式設計之中。數學家和哲學家發現邏輯是有效的理論分析工具。?多問題可以自然地表示成一個理論。說需要解答一個問題，通常與解答一個新的假設是否?現在的理論無衝突等價。邏輯提供了一個證明問題是?還是假的方法。建立證明的方法是人所皆知的，故邏輯是解答問題的可?方法。邏輯編程系統則自動化了這個程序。 人工智能 在邏輯編程的發展中發揮了重要的影響。

?子和香蕉問題 （ 英? ： Monkey and banana problem ） 是邏輯編程社群的著名問題。電腦須自行?出令?子接觸香蕉的可行方法，取代程式設計師指定?子接觸香蕉的路徑和方法。

邏輯編程建立了描述一個問題裏的世界的邏輯模型。邏輯編程的目標是對?的模型建立新的陳述。世界上知識不斷膨脹。傳統來說，我們會將一個問題陳述成單一的假設。邏輯編程的程式透過證明這個假設在模型裏是否??來解決問題。

一些經常用到邏輯編程工具的範疇：

• 專家系統 ，程式從一個巨大的模型中?生一個建議或答案。
• 自動化定理證明 ，程式?生一些新定理來擴充現有的理論。

最常用的邏輯編程語言是 Prolog ，?外有較適用於大型方案的 Mercury 。詳盡的?單可見於 Category:邏輯編程語言 。

?史 [ ?? ]

早在二十世?七十年代， ?伯特·科瓦?斯基 等人提出了??可以作?程序???言的基本思想，把??和程序???截然不同的?念???一?一??念，于是?生了??程序??。?也是早期自?定理?明和人工智能?展的自然?果。?后，??程序??得到了迅速?展，特?是基于一???的??程序???言，???推理??于?算，具有?富的表?能力、非?定性等特点，在定理机器?明、?系?据?系?、程序??、模?化程序??和 非??推理 等都有了?泛的?用。 ^[1]

?考?料 [ ?? ]