Prolog
『Prolog入門』 太細孝 鈴木克彦 伊藤ひとみ 佐藤裕幸 共著、1984年、啓学出版、ISBN 4-7665-0146-2
『人工知能2 マグロウヒル コンピュータシリーズ』 E.リッチ 著/廣田薫 富村勲 訳、1984年、マグロウヒル、ISBN 4-8950-1172-0
『知識表現とProlog/KR』 中島秀之、1985年、産業図書
『Prologプログラミング入門』 安部憲広、1985年、共立出版、ISBN 4-320-02237-8
『エキスパート・システム ソフトウェア サイエンス シリーズ』 フレデリック ヘイズーロス レナルドA.ウォーターマン 編 ダグラスB.レナート 著/中島秀之 白井英俊 田中卓史 中川裕志 鈴木浩之 松原仁 寺野隆雄 斎藤康巳 平賀譲 片桐恭弘 訳、1985年、産業図書、ISBN 4-7828-5002-6
『Prologとその応用2 プログラム作成支援 エディタ設計 自然言語設計 データベース』 溝口文雄 武田正之 畝見達夫 溝口理一郎 共著、1985年、 総研出版、ISBN 4-7952-6307-8
『人工知能の世界 コンピュータに関心あるすべての人のために』 田村隆一 柳原圭雄 唐沢博 共著、1985年、技術評論社、ISBN 4-87408-168-1
『日常言語の推論 認知科学選書2』 坂原茂、1985年、東京大学出版会、ISBN 4-13-013052-8
『PROLOGデータベース・システム』 D.リー 著/安部憲広 訳、1985年、近代科学社、ISBN 4-7649-0106-4
ロイド 著/佐藤雅彦 森下真一 訳、1987年、産業図書、ISBN 978-4-7625-5003-4
『プログラム変換 知識処理シリーズ7』 佐藤泰介 二木厚吉 玉木久夫 二村良彦 竹内彰一 安村通晃 吉田紀彦 共著、1987年、共立出版、ISBN 4-320-02267-X
『並列論理型言語GHCとその応用 知識情報処理シリーズ6』 竹内彰一 上田和紀 野田泰徳 松本裕治 杉本勉 田中二郎 太田由紀子 共著、1987年、 共立出版、ISBN 4-320-02266-1
『はじめてのProlog Prolog-KABAによる人工知能へのアプローチ』 舟本奨、1987年、ナツメ社、ISBN 4-8163-0712-5
『TURBO PROLOGトレーニングマニュアル』 小林鉾史、1987年、JICC出版局、ISBN 4-88063-335-6
『RUN/Prologとその応用』 杉原敏夫、1987年、工学図書株式会社、ISBN 4-7692-0176-1
『Prologプログラミング入門 RUN/Arity』 大原茂之、1988年、オーム社、ISBN 4-274-07401-3
『コンピュータ言語進化論 思考増幅装置を求める知的冒険の旅』 Howard Levine Howard Rheingold 共著 椋田直子 訳、1988年、アスキー出版局 、ISBN 4-87148-301-0
『Prologで学ぶAI手法 推論システムと自然言語処理』 高野真、1998年、啓学出版、ISBN 4-7665-0110-1
『パソコンエキスパートシステム -低価格ツールによるエキスパートシステムの構築手順-』 OHM編集部編、1988年、オーム社、ISBN 4-274-07409-9
その数年後の1971年マルセイユ大学のアラン・カルメラウアーとフィリップ・ルーセルのグループは自動定理証明システムとフランス語の自然言語解析システムとを組み合わせたコンピュータとの自然言語対話システムを作成していた。この際に自然言語解析システムも自動定理証明システムと共通の論理式という枠組みで構築できることに気が付き、論理式をそのままプログラムとして実行できる最初の Prolog を1972年に完成させた。これは数千年に及ぶ人類の叡智である論理学の成果をプログラム言語に置き換えたものと言えるが、現在の Prolog でプログラムの制御に使われるカットオペレータに相当する機能が最初から導入されるなど、現在の Prolog と同様、単なる定理証明システムではなくプログラミング言語として設計されたものだった。以下にその当時の Prolog プログラムの一部を示す。論理変数名の最初の文字が "*" で始まるなど、現在の Prolog とはシンタックスが異なる。