Prolog
日本においては、ICOT 解散後数年を経て、論理プログラミングと Prolog は急激に下火となる。先にあげたコワルスキの成果があまりにも完成されたものでその研究成果の範囲を越えることが難しかったこと、歴史的にプログラム言語でありながら論理学からの逸脱を厳しく制限され、自由なアイデアによるプログラミング言語としての発展・展開が困難に見えたことも研究者・技術者を離れさせた。そして、人工知能ブームもまた去って行った。企業等で続けられた研究開発も発表される機会がProlog産業応用シンポジウム(INAP)などに限定され、人々の目に Prolog の成果が触れることは極端に少なくなった。ICOT の多大な研究成果がネット上に閲覧可能な状態で置かれたが、Prolog 言語の処理系はインターネット時代の技術・流れに乗れず、初心者・初学者が利用するためのネット上での情報も他の有力言語に比べて少なく、新しい利用者を惹きつけることができなかった。パソコンのオペレーティングシステムとして Microsoft Windows が一般に普及し始めると、初心者教育にウィンドウの部品の展開を題材とするのに適したオブジェクト指向言語に人気が集中し、Prolog は動作の遅い外れた言語のイメージを持たれるようになる。さらに21世紀に入ると Prolog がクラス概念を持たないため、マイクロソフト社による .NET アーキテクチュアの共通言語基盤(CLR)の対象言語から外され、この傾向に拍車をかけた。ついには枯れた言語というニュアンスを含んでではあるが、「化石言語」と揶揄されるまでに至ったのである。
盛時の勢いは失ったものの、Prolog は各教育機関で主として論理学の教材として利用され続け、今日まで数万人の人が Prolog の講座を受講している。実務的に利用される機会が少ないにも関わらず、その素養を持つ人が大量に存在するという特異な位置にあるプログラム言語となっている。また、多くのプログラミング言語でその言語上にPrologインタプリタを制作してみることが難度の高い学習課題の一つとして採用され、その結果としてもPrologを理解しているプログラマは増加する傾向がある。
2011年夏 ブルース・A・テイト著『7つの言語 7つの世界』が出版され、その7つの言語の一つとして Prolog が紹介されたことから、多くの人々の関心を呼び起こし、この言語は突然に息を吹き返した。ダニエル・ジャクソン著『抽象によるソフトウェア設計』も翻訳されて述語論理に基礎を持つ形式記述言語 alloy が注目されるなど、Prolog に極めて親近した領域での議論がようやく活発になった。
2012年 イワン・ブラトコ著「Prolog Programming for Artificial Intelligence」の第四版が11年ぶりに刊行されて、人々に Prolog は今でも活火山的な存在であることを印象付けた。また、世界的に利用されているアプリケーション自動生成ツール GeneXus が Prolog によって書かれてからそれを他の利用言語に変換されて製品化されていることや、IBM 社のワトソンの根幹部分である言語解析部分と質問の生成部分を現在も Prolog が担っていることなどが次々と喧伝されて、応用面でも現役言語であることが改めて認識されつつある。さらに世界的な関数型言語への急激な関心の高まりによって、関数型言語と類縁性の高い論理型言語の盟主であり、人気関数型言語 Erlang の原像でもある Prolog への関心は再び強まってきた。
2013年 IBMはワトソンの商用化を積極的に進めることとし、研究開発要員を2000名に増強することを発表した。さらに2014年秋、ソフトバンクとの間でワトソンの日本語化で提携することが発表された。ソフトバンクは既にADSLの故障診断をPrologで開発して利用してきた実績があり、既に公開され、2015年春出荷が予定されている感情認識パーソナルロボットPepperでも中核部にPrologを採用することが予想されている。同社がワトソンと強く結びつくことによって、Pepperが将来ワトソンから情報を受け取ることによって、どのように強化されて、変化していくのかということが俄然興味深い問題に浮上した。同時に、その二つのシステムに跨って、Prologがどのような関わりを持つのか、役割を担うのかということも注目されている。
2021年8月4日に発表された"TIOBE Index for August 2021"で19位にランクされた。この指標は検索数や記事数などの指標であり、20位以内の復帰は2003年以来となる。世界的に話題性を取り戻しつつある証だろう。
2016年 FLOPS で  Ki Yung Ahn と Andrea Vezzosi の論文 Executable Relational Specifications of Polymorphic Type Systems で Prolog による Let多相の型推論器が発表された。あまり話題にはなっていないが、昨今の型理論には一階述語論理が用いられており、型システムの実装実験において極めて簡略に記述出来るため、利用されていく可能性がある。
Prolog向けの集合論的型システムが実用化されれば、関数型言語学会において古くから用いられてきた数式をより形式的にできるようになるかもしれない。
多くの処理系は Prolog の基本機能以外に、制約プログラミングや並行プログラミングのための拡張機能や Constraint Handling Rules などの各種言語をライブラリとして含んでいる。
— International Conference on Declarative Programming and Knowledge Management
FLOPS ー International Symposium on Functional and Logic Programming
『プログラムの理論 コンピュータ・サイエンス研究所シリーズ』 Zohar Manna 著/ 五十嵐滋 訳、1975年、日本コンピュータ協会
『人工知能の基礎 知識の表現と理解』 Daniel G.Bobrow Allan Collins 共著 渕一博 石崎俊 板橋秀一 太田耕三 大谷木重夫 黒川利明 桜井彰人 佐藤泰介 島田俊夫 田中穂積 田村浩一郎 溝口文雄 元吉文雄 山口喜教 横井俊夫 横山昌一 訳、1978年、代科学社
『日常言語の論理学』  オールウド・アンデソン・ダール 著/公平珠躬 野家啓一 訳、1979年、産業図書、ISBN 4-7828-0011-8
『日本語の文法と論理』 坂井英寿、1979年、勁草書房
『人工知能 岩波講座 情報科学-22』 白井良明 辻井潤一 共著、1982年、岩波書店
『人工知能の原理 コンピュータ・サイエンス研究書シリーズ26』 Nils.j.Nilsson 著/白井良明 辻井潤一 佐藤泰介 訳、1983年、日本コンピュータ協会
『最適化 岩波講座 情報科学-19』 西川偉一 三宮信夫 茨木俊秀 共著、1982年、岩波書店
『言語工学 人工知能シリーズ2』 長尾真、1983年、昭晃堂、ISBN 4-7856-3042-6
『Prologプログラミング』  W.F.Clocksin C.S.Mellish 共著/中村克彦 訳、1983年、マイクロソフトウェア
『機械知能論 人工知能シリーズ1』 志村正道、1983年、昭晃堂、ISBN 4-7856-3043-4
『Prolog』  中島秀之、1983年、産業図書
『PROLOG入門 ソフトウェアライブラリI』 後藤滋樹、1984年、サイエンス社、ISBN 4-7819-0352-5
『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
『Prologのソフトウェア作法 岩波コンピュータサイエンス』 黒川利明、1985年、岩波書店、ISBN 4-00-007681-7
『Prologと論理プログラミング』 中村克彦、1985年、オーム社、ISBN 978-4-275-07266-5
『新世代プログラミング』 井田哲雄 尾内理紀夫 黒川利明 竹内彰一 外山芳人 渕一博 共著 、1986年、共立出版、ISBN 4-320-02259-9
『micro-PROLOGプログラム コレクション 人工知能のための』 山田眞市一、1986年、サイエンス社、ISBN 4-7819-0435-1
『知識ベース入門』 石塚満 上野春樹 大須賀節雄 奥野博 小山照夫 白井良明 辻井恭一 速水悟 共著 、1986年、オーム社、ISBN 4-274-07287-8
『知識の学習メカニズム 知識情報処理シリーズ2』 国藤進 有川節夫 篠原武 北上始 原口誠 武脇敏晃 堀浩一 共著 、1986年、共立出版、ISBN 4-320-02262-9
『知識指向言語Prolog 人工知能プログラミングへの序曲』 小谷善行、1986年、技術評論社、ISBN 4-87408-827-9
『協調型計算システム --分散型ソフトウェアの技法と道具立て--』 R.E.フィルマン D.P.フリードマン 共著/雨宮真人 尾内理紀夫 高橋直久、1986年、マグロウヒル、ISBN 4-89501-030-9
『BASICで学ぶPROLOGシステム 言語と構造理解のために』 市川新、1986年、啓学出版、ISBN 4-7665-0294-9
『Prolog-KABA入門 岩波コンピュータサイエンス』 柴山悦哉 桜川貴司 萩野達也 共著 、1986年、岩波書店、ISBN 4-00-007687-6
『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
『知識の表現と利用 知識工学講座2』 上野春樹 小山照夫 岡本敏雄 松尾文雄 石塚満 共著 、1987年、オーム社、ISBN 4-274-07331-9
『RUN/PROLOG ばじめての人工知能言語』 斎藤孝、1987年、CBS出版、ISBN 4-8337-8511-0
『論理による問題の解法 ---Prolog入門 情報処理シリーズ8』 R.コワルスキ 著/浦昭二 山田眞市 菊池光昭 桑野龍夫 訳、1987年、培風館、ISBN 4-563-00788-9
『知識の獲得と学習 知識工学講座3』 大須賀節雄 佐伯胖 小橋康章 大槻説乎 北橋忠宏 田中譲 篠原武 宮原哲浩 原口誠 共著、1987年、オーム社、ISBN 4-274-07346-7
『Prologプログラミング入門 RUN/Prologを用いた』 鑰山徹、1987年、工学図書株式会社、ISBN 4-7692-0163-X
『人工知能コンピュータ 判断・推論のしくみ』 秋田輿一郎、1987年、電気書院、ISBN 4-485-57102-5
『Prologランニングブック RUN/Prolog演習プログラム 上』 横井与次郎、1987年、ラジオ技術社、ISBN 4-8443-0180-2
『Prologランニングブック RUN/Prolog演習プログラム 下』 横井与次郎、1987年、ラジオ技術社、ISBN 4-8443-0185-3
『AI入門』 矢田光治、1987年、オーム社、ISBN 4-274-07355-6
『はじめてのRUN/PROLOG』 成田佳応 谷田部賢一 共著 、1987年、ナツメ社、ISBN 4816307001
『論理プログラミングの基礎』 J.W.ロイド 著/佐藤雅彦 森下真一 訳、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
『』 高野真、1998年、啓学出版、ISBN 4-7665-0110-1
『パソコンエキスパートシステム -低価格ツールによるエキスパートシステムの構築手順-』 OHM編集部編、1988年、オーム社、ISBN 4-274-07409-9
『述語論理と論理プログラミング』 有川節夫 原口誠 共著 、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
『コンピュータによる推論技法』 L.ウォス R.オーバーピーク E.ラスク J.ボイル 共著 川越恭二 久野茂 前田康行 光本圭子 訳、1989年、マグロウヒル、ISBN 4-89501-292-1
『TURBO Prolog プログラミング』 Information&computing 玉井浩、1989年、サイエンス社、ISBN 978-4-7819-0539-6
『新しいプログラミングパラダイム』 相場亮 井田哲雄 大須賀昭彦 加藤和彦 柴山悦哉 田中二郎 富樫敦 横内寛文 横田一正 共著、1989年、共立出版、ISBN 4-320-02493-1
『制約論理プログラミング』 坂井公 佐藤洋裕 田中二郎 相場亮 川村十志夫 橋田浩一 丸山文宏 渡辺俊典 佐藤由美子 森文彦 戸沢義夫 昭尾雅之 森下真一 共著、1989年、共立出版、ISBN 4-320-02469-9
『自然言語解析の基礎』 田中穂積、1989年、産業図書、ISBN 4-7828-5127-8
『定性推論 知識処理シリーズ別巻1』 渕一博 溝口文雄 古川康一 安西祐一郎 田中博 西田豊明 本田一賀 開一夫 堂下修司 清水周作 大木優 元田浩 共著、1989年、共立出版、ISBN 4-320-02468-0
『人工知能』 志村正道、1989年、オーム社、ISBN 4-274-07506-0
『人事情報エキスパートシステム』  三重野博司、1989年、オーム社、ISBN 4-274-07521-4
『Prologプログラミング入門 KE養成講座』 黒川利明 田中直之 共著 1989年、オーム社、ISBN 4-274-12857-1
『データベースと知識ベース 新しい情報システムを目指して』 大須賀節雄、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
『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
『人工知能概論』 荒屋真二、共立出版、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
『楽しいプログラミングⅡ記号の世界』 中島秀之 上田和紀 共著、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
エキスパートシステム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
『形式言語の理論 情報科学コアカリキュラム講座』 西野哲朗 石坂裕毅 共著、1999年、丸善株式会社、ISBN 4-621-04626-8
『人工知能の基礎 情報科学コアカリキュラム講座』 西田豊明、1999年、丸善株式会社、ISBN 4-621-04646-2
『新しい人工知能 発展編』 前田隆 青木文夫 共著、2000年、オーム社、ISBN 4-274-13198-X
『計算論理に基づく 推論ソフトウェア論』 山崎進、2000年、コロナ社、ISBN 4-339-02373-6
『知的エージェントのための集合と論理 インターネット時代の数学シリーズ6』 中島秀之、2000年、共立出版、ISBN 4-320-01645-9
『人工知能の基礎理論』 赤間世紀、2000年、電気書院、ISBN 4-485-66246-2
『Interlog コンピュータ言語』 吉川永一、2002年、東京図書出版会、ISBN 4-434-03554-1
『帰納論理プログラミング Inductive Logic Programming』 古川康一 尾崎知伸 植野研 共著 、2001年、共立出版、ISBN 4-320-12014-0
『知識と推論 Information Science & Engineering-T1』 新田克己、2002年、サイエンス社、ISBN 4-7819-1008-4
『法律人工知能 法的知識の解明と法的推論の実現』 吉野一、2002年、創成社、ISBN 4-7944-4030-8
『人工知能 IT Text』 本井田真一 松本一教 宮原哲浩 永井保夫、2005年、オーム社、ISBN 4-274-20106-6
『組み込みソフトウェアの設計&検証 組込み動作からRTOSを使った,ツールによる動作検証まで』 藤倉俊幸、2006年、CQ出版社、ISBN 978-4-7898-3344-8