Prolog
エキスパートシステムII 技術の動向 朝倉AIらいぶらり 溝口理一郎、1993年、朝倉書店、ISBN 4-254-12623-9
『意思決定支援システムとエキスパートシステム シリーズ・経営情報システム』 飯島淳一、1993年、日科技連出版社、ISBN 4-8171-6162-0
『自然言語 情報数学セミナー』 郡司隆男、1994年、日本評論社、ISBN 4-535-60811-3
『Prolog入門. 例題演習』 塩野充、1995年、オーム社、ISBN 4-274-07642-3
『Prologを学ぶ 文化とその実践』 杉崎昭生、1995年、海文堂、ISBN 4-303-71690-1
『知識処理論 知識・情報メディアシリーズ』 萩野達也、1995年、産業図書、ISBN 4-7828-5302-5
『スケジューリングとシミュレーション』 田中克己 石井信明 共著、1995年、コロナ社、ISBN 4-339-08357-7
『形式言語と有限オートマトン入門 例題を中心とした情報の離散数学』 小倉久和、1996年、コロナ社、ISBN 4-339-02339-6
『AIプログラミング PrologとAI I.Bratko 著/安部憲広 訳、1996年、近代科学社、ISBN 4-7649-0254-0
『エージェントアプローチ 人工知能』 スチュワート・ラッセル ピーター・ノーヴィグ 共著/古川康一 訳、1997年、共立出版、ISBN 4-320-02878-3
『関数プログラミング 情報数学セミナー』 萩谷昌己、1998年、日本評論社、ISBN 4-535-60817-2
『自然言語・意味論・論理』 赤間世紀、1998年、共立出版、ISBN 4-320-02908-9
1972年ごろにフランスのアラン・カルメラウアーとフィリップ・ルーセルによって考案された。
成立の事情から、Prolog プログラムは論理式とみなされ、その実行は述語論理によって述語が定義された環境における定理証明に擬して解釈されることが多い。利用者は論理プログラミングの枠組みを、取り分け述語論理を学習することで、この枠組みに極めて忠実なこの言語の基礎的な構造のほとんどを理解できる。その言語仕様はこの枠組み以外には考案者たちも含めてそれ以上の拡張をほとんど行っていないため、他のプログラム言語とは異なり、学習しなくてはならない概念や用語もまた、述語論理のものだけでこと足りる。基本的に計算機科学の新しい概念や新しい手法とは無縁である。ただし、SWI-Prolog等の処理系では様々な機能拡張の試みが行われている。一階述語論理は型理論や操作的意味論の研究論文で多数用いられており、今後、再注目される可能性がある。
プログラマは引数の単一化、再帰/失敗駆動等のプログラムパターンの選択、非決定性、双方向性といった特長をできる限り生かすことなどに配慮しながら、述語の骨格を決めプログラミングを進める。しかし、これらの特長、性質は複合した場合には相当に複雑であり、制御上相反する部分も多々ある。Prolog では、述語論理を逸脱して計算量/資源量/制御の調整に当たる述語「!」(カット)を導入してこの問題に対処しているが、Prolog プログラミングの難しさはこの調整部分に集中している。
Prolog は言語による思考をモデル化して主語・述語といった意味での文中の述語を特に重視して記述する系である。この一点からも、対象物を中心に記述していくオブジェクト指向とは距離が大きい。述語論理以前にオブジェクトありきとする立場を一般には取らない。
いくつかの処理系では、オブジェクト指向言語としての拡張が行なわれているが、オブジェクトを中心に設計されることは、論理プログラミングを重視して記述される限りほとんどない。分類するならば、非オブジェクト指向言語に分類される。オブジェクト指向に拡張された言語としては
Visual Prolog
Logtalk
が存在する。
『述語論理と論理プログラミング』 有川節夫 原口誠 共著 、1988年、オーム社、ISBN 4-274-07386-6
『知識の帰納的推論 知識処理シリーズ3』 E.Y.Shapiro 著/有川節夫 訳、1988年、共立出版、ISBN 4-320-02263-7
『知識と推論 岩波講座 ソフトウェア科学-14』 長尾真、1988年、岩波書店、ISBN 4-00010-354-7
『記号処理プログラミング 岩波講座 ソフトウェア科学-8』 後藤滋樹、1988年、岩波書店、ISBN 4-00-010348-2
『Prologの技芸』 L.Sterling E.Shapiro 共著 松田利夫、1988年共立出版、ISBN 4-320-09710-6
『TURBO PROLOG入門』 Carl Townsent 著/倉谷直臣 酒見高広 訳、1988年、オーム社、ISBN 4-274-07449-8
『知識プログラミング 知識処理シリーズ8』 鈴木浩之 小野典彦 中島秀之 国藤進 石塚満 松田哲史 井下博史 有馬淳 佐藤健 房岡璋 高橋和子、 1988年、共立出版、ISBN 4-320-02268-8
『Prologプログラミング入門 体験学習ビジネスマンのための』 高橋三雄、1988年、オーム社、ISBN 4-274-07442-0
『エキスパートシステム 知識工学講座5』 上野晴樹 小山照夫 共著、1988年、オーム社、ISBN 4-274-07462-5
『並列Prologコンピュータ データフロー処理によるアプローチ』 マイケル・J・ワイズ 著/曽和将容 訳、1989年、啓学出版、ISBN 4-7665-0345-7
『データベースと知識ベース 新しい情報システムを目指して』 大須賀節雄、1989年、共立出版、ISBN 4-274-07520-6
『わかる:-Prolog』 塚本龍男、1989年、共立出版、ISBN 4-320-02337-4
『入門TURBO PROLOG』 ダン・シェーファー 著/北脇和夫 北脇庸子 訳、1989年、啓学出版、ISBN 4-7665-0990-0
『TURBO Prolog エキスパート・システム設計入門』 Carl Townsend 著/玄光男 佐々木正仁 訳、1989年、HBJ出版局、ISBN 4-8337-8030-5
『OA実務家の書いたエキスパート・システムの本』 三菱商事(株)システム企画部OA技術チーム編 、1990年、日本能率協会、ISBN 4-8207-0664-0
『法律家のためのコンピュータ利用法 論理プログラミング入門』 加賀山茂、1990年、有斐閣、ISBN 4-641-07541-7
『Prologへの入門 PrologとAI』 I.Bratko 著/安部憲広 訳、1990年、近代科学社、ISBN 4-7649-0165-X
『パソコン言語による人工知能(AI)プログラミング PC-9800対応 Prolog/LISP/Smalltalk/C/FORTRAN/COBOL/BASIC』 舟本奨、1990年、ナツメ社、ISBN 4-8163-1035-5
『作品としてのプログラム』 黒川利明、1990年、岩波書店、ISBN 4-00-005403-1
『自然言語理解と論理プログラミング』 Y.Dahi P.Saint-Dizier 共著/西田豊明 松本裕治 上原邦昭 訳、1990年、近代科学社、ISBN 4-7649-0163-3