prolog語言的三種基本語句是事實；規則；詢問。
PROLOG語言（邏輯編程語言）壹般指邏輯編程語言。Prolog（Programming in logic）是壹種面向演繹推理的邏輯型程序設計語言，最早於1972年由柯爾麥倫納（Colmeraner）及其研究小組在法國馬賽大學提出。
Prolog以處理壹階謂詞演算為背景，由於其簡單的文法、豐富的表達力和獨特的非過程語言的特點，很適合用來表示人類的思維和推理規則，從而壹問世就贏得了人工智能研究和應用開發者的廣泛興趣。
尤其在西歐和日本，Prolog語言已推廣應用於許多應用領域，如關系數據庫、數理邏輯、抽象問題求解、自然語言理解和專家系統等。日本還在其於1979年提出的第五代計算機研究計劃中把Prolog列為核心語言。
Prolog實際上就是壹種基於逆向規則的演繹推理技術，只不過對規則和目標的表示有嚴格的限制。再加上演繹推理控制機制自身的簡單性，難以適用於復雜的應用域。
特點
Prolog語言的語法結構相當簡單，但描述能力很強。例如，當事實和規則描述的是某壹學科公理。那麽問題就是待證的命題；當事實和規則描述的是某些數據和關系，那麽問題就是數據查詢語句；當事實和規則描述的是某些狀態變化規律，那麽問題就是目標狀態。
因此，Prolog語言是壹種智能型程序設計語言。Prolog程序沒有特定的運行順序，程序運行順序完全按照數理邏輯推導的方式進行。而不是由編程序的人決定。Prolog是壹種描述型語言，用特定的方法描述壹個問題，然後由計算機自動找到這個問題的答案。