Prolog
『Prologで作る数学の世界 Prologそして集合-位相-群』 飯高茂、1990年、朝倉書店、ISBN 4-254-11054-5
『Prolog詳説 対話形式によるアプローチ』 ラマンチャンドウン・バラス 著/斉藤重光 舟本奨 訳、1990年、啓学出版、ISBN 4-7665-1078-X
『Prologユーティリティライブラリ』 ボグダン・フィリビッチ 著/中原誠 伊藤哲郎 訳、1990年、海文堂出版、ISBN 4-303-71700-2
『SF的Prologの世界 コンピュータウイルス盛衰記』 福田敏宏 田村三郎 田中正彦 共著、1990年、現代数学社、ISBN 4-7687-0195-7
『Prologによる論理プログラミング入門』 小川束、1990年、啓学出版、ISBN 4-7665-1081-X
『人工知能における知識ベースシステム』 ランドール・デービス ダグラス・B・レナート共著/溝口文雄 諏訪基 実近憲昭 平井成興 仁木和久 豊田順一 上原邦昭 河合和久 山口高平 溝口理一郎 訳、1991年、啓学出版、ISBN 4-7665-1100-X
『情報の論理数学入門 ブール代数から述語論理まで』 小倉久和 高濱徹行 共著、1991年、近代科学社、ISBN 4-7649-0180-3
『自然言語処理入門 情報・電子入門シリーズ』 岡田直之、1991年、共立出版、ISBN 4-320-02434-6
『エキスパートシステム MARUZEN Advanced Technology 電子・情報・通信編』 石塚満 小林重信 薦田憲久 竹垣盛一 寺野隆雄 山崎知彦 共著 丸善株式会社、1991年、ISBN 4-621-03622-X
Prolog の性格上、その歴史には定理の自動証明の研究が大きく関係している。1930年にジャック・エルブランは自動定理証明やPrologのベースとなる数理論理学上の基本定理であるエルブランの定理を発表した。エルブランの論文には Prolog で必須の単一化アルゴリズムもすでに含まれていた。
1950年代以降、計算機上での定理証明の研究が活発になり、ギルモアのアルゴリズム(1960)やデービス・パトナムのアルゴリズム(1958,1960) 、プラウィツによる定理証明への単一化アルゴリズムの導入(1960)などを経て、1965年のロビンソンによる導出原理 や1960年代後半のラブランドによるモデル消去の証明手続きの成果からひとつの結実期を迎えた。
『人工知能概論』 荒屋真二、共立出版、1991年、ISBN 4-320-02605-5
『Prologの冒険 アドベンチャーゲームを作りながらPrologをマスターしよう』 Dennis Merritt 著/岩谷宏 訳、1992年、ソフトバンク、ISBN 4-89052-344-8
『Prologマシン』 金田悠紀夫、1992年、森北出版、ISBN 4-627-80810-0
『Prolog入門 図解コンピュータシリーズ』 江村潤朗監修 瀬下孝之、1992年、オーム社、ISBN 4-274-07723-3
『楽しいプログラミングII記号の世界』 中島秀之 上田和紀 共著、1992年、岩波書店、ISBN 4-00-007755-4
『Prologを楽しむ』 松田紀之、1993年、オーム社、ISBN 4-2740-7749-7
『Micro-PROLOG ロジックプログラミングによる問題解決』 K.L.クラーク F.G.マッケイブ 著/溝口文雄 大和田勇人 訳、1993年、啓学出版、ISBN 4-76651-165-4
『人工知能最前線 財務エキスパートシステム』 D.E.オゥレアリ P.R.ワトキンス 共著 佐伯光彌 光村司 西ヶ谷邦正 斎藤孝一 三藤利雄 訳、1993年、学友社、ISBN 4-7620-0483-9
『Prologを楽しむ』 松田紀之、1993年、オーム社、ISBN 4-274-07749-7
『情報学概論 Prologプログラミング』 吉田要、1993年、八千代出版、ISBN 4-8429-0874-2
関数型言語等、他のプログラミング言語と比較しての Prolog の特長は、上記、一階述語論理に基づくこと、単一化、データベース言語的性格の他に、非決定性と双方向性が挙げられる。
非決定性は、解が唯一とは限らない場合、処理系側から見てひとつの解に決定できない場合、外部からの選択の余地を与える。そういうことが当然可能なこととして述語は定義されていく。インタプリタトップではなく、導出を繰り返すプログラム内部にあっては、処理系側とした所を述語と置き換えて考えると、非決定性の述語の解を決定するのは、前方または後方に連接する質問(副目標)である。前方の副目標群から引数経由で与えられる情報によって副目標は一つの解を作り出すが、この解が真であるとするのは最終的に後方に連接する副目標である。この後方に連接した副目標が全て真となった場合に限り副目標は真となる。後方に連接する副目標のどれかが真にならなかった場合は、それが存在すればであるが別解を用意しなくてはならない。ここでも非決定性の述語、ここでは副目標から見ての解の決定権は、外部にあるということになる。
非決定性は導出の過程、取り分けバックトラックアルゴリズムと一体化しており、Prolog プログラムの制御の根幹のひとつである。
『Prolog入門』 古川康一、1986年、オーム社、ISBN 4-274-07308-4
『自然言語の基礎理論』 石川彰 松本裕治 向井国昭 安川秀樹 安食敏宏 共著、1986年、共立出版、ISBN 4-320-02264-5
『Prolog 人工知能用言語シリーズ 1』 新田克己・佐藤泰介 共著、1986年、昭晃堂、ISBN 978-4-7856-3601-2
『micro PROLOGはじめてのプログラミング』 ヒュー・ド・サラム 著/倉田和彦 山田和美 訳、1986年、啓学出版、ISBN 4-7665-0306-6
『知識情報処理 知識工学講座1』 大須賀節雄、1986年、オーム社、ISBN 4-274-07321-1
『知識工学 人工知能シリーズ10』 小林重信、1986年、昭晃堂、ISBN 4-7856-3068-X
『RUN/Prolog入門 データベースとしての活用と述語解説』 小島政行、1986年、アムコインターナショナル、ISBN 978-4-8705-0034-1
『エキスパート・システム入門』 安部憲広 滝寛和 共著 、1986年、共立出版、ISBN 4-320-02297-1
『エキスパートシステム --知識工学とその応用--』 上野晴樹、1986年、オーム社、ISBN 4-274-07318-1
『エキスパート・システム 基礎概念と実例』 J.L.アルティ M.J.クームス 共著/太原育夫 訳、1987年、啓学出版、ISBN 4-7665-0312-0
十分述語論理的な教養を持った上で Prolog を学び、そのプログラムを書くならば、短期間で高度で安定したプログラムを書くことができる。しかし、それを前提としないでも、Prolog は冒険的で、未知の領域に満ちたプログラム言語なのである。
実はこれらの主張は、述語論理的な主張に隠れて、これまであまり強調されたことがなかった。
このような立場や主張が生まれる背景には、Prolog が期待されたほどにはソフトウェア革新の担い手になり得ていない理由が、その後の数理論理学の学問的な評価をもって、プログラム言語としての可能性を十分検証することを放棄して、定理証明といった狭い目的へ封じ込めようとする風潮を生んだことにある、という反省がある。そのことを踏まえて、Prolog が述語論理から成立したことにこだわらず、実在するプログラム言語として自由な視点からこの言語を見直そうとするものである。