Prolog
パラダイム | 論理プログラミング |
---|---|
登場時期 | 1972年 |
設計者 | Alain Colmerauer 他 |
型付け | 動的型付け |
主な処理系 | AZ-Prolog, BProlog, Ciao Prolog, ECLiPSe, GNU Prolog, K-Prolog, Open Prolog, Poplog, Prolog Cafe, Prolog.NET, P#, SICStus Prolog, Strawberry Prolog, SWI-Prolog, YAP-Prolog |
影響を与えた言語 | Erlang, KL0, ESP, Guarded Horn Clauses, KL1, Concurrent Prolog, PARLOG, Mercury, Oz, Strand, Visual Prolog |
プラットフォーム | クロスプラットフォーム |
拡張子 | .pl, .pro, .P |
概要
編集述語論理と論理プログラミング
編集非述語論理的な立場
編集記号処理用言語・人工知能言語
編集宣言型言語
編集Prolog は一階の述語論理に対応することから論理型言語に分類される汎用言語であるが、その主張の一行一行を独立して論理式とほとんど等価な表現で行うことから、最も代表的な宣言型言語と見なされている。Prolog のプログラム単位である述語の各節の本体に現れる質問単位である副目標数は平均5個以内と極めて少ない。この副目標と各節の頭部に現れる引数の組み合わせによって得られる関係が述語の意味を構成している考えられる。これが宣言型とされるゆえんである。
<頭部> :- <本体>. % Prologの節は頭部と本体によって構成される。 % 述語定義は複数の節からなる。本体は幾つかの副目標からなる。 % 副目標の全てが真となった時に節の宣言は成立する(節は真となる)。 述語名(引数_1,引数_2) :- <副目標_1>,<副目標_2>. 述語名(引数_1,引数_2) :- <副目標_3> ・・・
単一化
編集動的型付け
編集型付けは動的型付けに分類できるが、言語仕様の中に型概念は登場しない。上記の単一化、バックトラッキング、と論理変数の束縛においては独特のものがあり、その実行は型推論の実行過程に酷似している。既に Prolog はその引数の引渡し時に単一化という厳密なパターンマッチングを施すことに多大なコストを掛けた。単一化だけでプログラムをコントロールできる言語が Prolog であるといっても過言ではない。この単一化のみによる簡素で強力なプログラムコントロールの足を引っ張ることに成り兼ねない、型付けの強化は、Prolog 言語とその支持者によって受け入れられることはないだろう。
非オブジェクト指向言語
編集Prolog は言語による思考をモデル化して主語・述語といった意味での文中の述語を特に重視して記述する系である。この一点からも、対象物を中心に記述していくオブジェクト指向とは距離が大きい。述語論理以前にオブジェクトありきとする立場を一般には取らない。
いくつかの処理系では、オブジェクト指向言語としての拡張が行なわれているが、オブジェクトを中心に設計されることは、論理プログラミングを重視して記述される限りほとんどない。分類するならば、非オブジェクト指向言語に分類される。オブジェクト指向に拡張された言語としては
が存在する。
オンメモリデータベース
編集assert
、re
tract
、setof
、bagof
、findall
という組込述語を持つこと以外には、管理機構としての特別の組込述語が用意されている訳ではなく、ディクショナリ管理などのための述語定義をユーザが追加する必要がある。
非決定性と双方向性
編集append
という3引数の述語は第一引数と第二引数に具体的なリストが来て呼ばれた時は、リストを結合する意味でよいが、第三引数がリストで第一引数と第二引数が変数の状態で呼ばれた場合その意味は、リストを分解する、がふさわしい。既に存在するリストを、それが結合されて存在したものと考え、それではどのように結合されていったか、あるいは、どのような組み合わせで結合されていったのかを、示していると解釈できる。
このような、双方向性は Prolog の述語自らがリバースエンジニアリング的開示能力を持ち、それを示していると捉えることができる。この性質は、Prologを含む論理型プログラム言語の持つ際立った特徴であり、プログラム作成時はもちろん、テスト、デバッグなどの検証の各段階でプログラムコードに対する見通しを向上させる。
Prolog プログラミングの難しさ
編集!
﹂︵カット︶を導入してこの問題に対処しているが、Prolog プログラミングの難しさはこの調整部分に集中している。
歴史
編集誕生
編集READ
RULES
+DESC(*X,*Y) -CHILD(*X,*Y);;
+DESC(*X,*Z) -CHILD(*X,*Y) -DESC(*Y,*Z);;
+BROTHERSISTER(*X,*Y) -CHILD(*Z,*X) -CHILD(*Z,*Y) -DIF (*X,*Y);;
AMEN
コワルスキとDEC-10Prolog
編集彼らグループに理論的な助言を与えていたエジンバラ大学のロバート・コワルスキとデービッド・H・D・ウォレン[注 2]は汎用機 DECsystem10 上にマルセイユ大学とはシンタックスが異なる処理系を作り上げた。これは後に DEC-10 Prolog と呼ばれることになるが、ISO 標準規格を含む今日動作する Prolog 処理系はほとんどがこの系統のシンタックスに従っている。
desc(X,Y) :- child(X,Y).
desc(X,Z) :- child(X,Y),desc(Y,Z).
brothersister(X,Y) :- child(Z,X),child(Z,Y),dif(X,Y).
新世代コンピュータ技術開発機構とProlog
編集1990年代とISO標準規格
編集=
﹂のみに限定したものだと解釈することができる。しかし、簡素で逐次的な性格を強く持つ Prolog の処理系に慣れた利用者が、制約論理プログラミングの述語中に更に変数制約の宣言を追加しなくてはならない負担を、受け入れているとは言い難い。制約論理プログラム処理系が Prolog のそれに置き換わる気配は、2013年11月現在においてもない。
ISO の標準化作業は1987年頃から作業委員会(WG17[8])が作られ、日本委員も情報処理学会から15名ほどがこれに加わった。1995年 ISO標準規格がISO/IEC 13211-1 Prolog-Part 1: General Coreとして制定された。さらに、2000年にはISO/IEC 13211-2 Prolog-Part 2: Moduleとしてモジュール仕様が追加して規格化された。モジュール仕様については日本委員から、ICOTによって作成されたESP(Extended Self-contained Prolog)を以てその標準とする案が出されていたが、これは否決された。
ISO標準規格はエジンバラ仕様 DEC-10Prolog を基調に既に一家をなしていた Quintus Prolog など有力ベンダと主としてヨーロッパの学者を主体にこれに日本などの委員が参加して作成された。この規格は現在 Prolog 処理系の製作者に指針を与え、大きな逸脱を心理的に妨げる役割を果たしているが、組込述語の個々の仕様ではベンダの意向が強く反映されたものの、全体としては最初に述べた論理学的立場を尊重して保守的で極めて小さな仕様となっている。そのため多くの Prolog 処理系はこの規格の述語を搭載しつつ、独自の拡張部分を修正したり削除することに消極的である。結果として個々の処理系の互換性の乏しさは残り、それは Prolog の弱点として認識されている。
JIS規格も一旦は2001年にJIS X 3013:2001が、"標題 プログラム言語Prolog―第1部‥基本部"が要約JISとして発行されたが、2012年1月に何ら実効を見ること無く、﹁周知としての目的は終了した﹂として廃止された。
人工知能ブームとProlog
編集ICOT以後の日本における衰退
編集今日
編集今後
編集- 2016年 FLOPS で Ki Yung Ahn と Andrea Vezzosi の論文 Executable Relational Specifications of Polymorphic Type Systems で Prolog による Let多相の型推論器が発表された。あまり話題にはなっていないが、昨今の型理論には一階述語論理が用いられており、型システムの実装実験において極めて簡略に記述出来るため、利用されていく可能性がある。
- Prolog向けの集合論的型システムが実用化されれば、関数型言語学会において古くから用いられてきた数式をより形式的にできるようになるかもしれない。
処理系
編集多くの処理系は Prolog の基本機能以外に、制約プログラミングや並行プログラミングのための拡張機能や Constraint Handling Rules などの各種言語をライブラリとして含んでいる。
処理系 | オープンソース | 有償・無償の別 | 準拠規格 | 備考 |
---|---|---|---|---|
Amzi!Prolog | N/A | 有償 | ISO規格 | |
AZ-Prolog | N/A | 個人/学術は無償 | ISO/DEC-10 Prolog | 日本語対応 Prolog-KABA互換(グラフィックスを除く) |
B-Prolog | N/A | 学術は無償 | N/A | |
Ciao Prolog | ○ | N/A | ISO規格 | |
GNU Prolog | ○ | N/A | ISO規格 | |
K-Prolog[9] | N/A | 有償 | ISO規格 | 日本語対応 |
micro-Prolog | N/A | N/A | N/A | 学術研究用 [10] CP/M80 上で動作 |
MINERVA | N/A | 有償 | ISO規格 | 業務用、Java ベース |
Open Prolog | N/A | 無償 | ISO規格 | Mac OS 用 |
Prolog Cafe | ○ | N/A | N/A | Prolog プログラムを Java プログラムに変換 |
Prolog.NET | ○ | N/A | N/A | .NET で Prolog を使用できる |
P# | N/A | N/A | N/A | PrologプログラムをC# プログラムに変換 |
Qu-Prolog | N/A | N/A | N/A | マルチスレッド処理系 |
Rebol Prolog | N/A | N/A | N/A | |
SICStus Prolog | N/A | 有償 | ISO規格 | 多くのオペレーティングシステムに対応。Java や .NET でのウェブアプリケーション開発可能。 |
Prolog for Squeak | N/A | N/A | N/A | Squeak に統合された Prolog 環境 |
Strawberry Prolog | ○ | N/A | N/A | |
SWI-Prolog | ○ | N/A | ISO規格 | 多くのオペレーティングシステム、Unicodeに対応 |
TuProlog | N/A | N/A | N/A | |
Visual Prolog | N/A | 個人は無償 | N/A | Windows専用 |
XSB | ○ | N/A | N/A | |
YAP Prolog | ○ | N/A | ISO規格 | Prolog コンパイラ。 |
Scryer Prolog | ○ | N/A | ISO規格 | Rust によるモダンな Prolog 実装。2016~ |
国際会議
編集- INAP — International Conference on Declarative Programming and Knowledge Management
- FLOPS ー International Symposium on Functional and Logic Programming
脚注
編集注釈
編集- ^ 英: resolution、融合
- ^ 英: David H.D.Warren
- ^ W. F. Clocksin
- ^ 英: C. S. Mellish
- ^ 英: extended self-contained Prolog
- ^ 英: Bruce A. Tate
- ^ 英: Daniel Jackson
- ^ 英: Ivan Bratko
出典
編集- ^ Alain Colmerauer, Philippe Roussel. The birth of Prolog, p.2.
- ^ a b Robert Kowalski. The Early Years of Logic Programming, p.38.
- ^ Buss, Samuel R., "On Herbrand's Theorem".
- ^ Alain Colmerauer and Philippe Roussel, The birth of Prolog, p.6.
- ^ Alain Colmerauer and Philippe Roussel, The birth of Prolog, pp.14-15.
- ^ a b 古川 康一, p.5.
- ^ 萩野達也,桜川貴司,柴山悦哉
- ^ https://www.complang.tuwien.ac.at/ulrich/iso-prolog/SWI7_and_ISO
- ^ “K-Prolog について”. 2020年1月10日時点のオリジナルよりアーカイブ。2021年9月11日閲覧。
- ^ https://www.researchgate.net/publication/277325585_Aspects_of_Prolog_history_Logic_Programming_and_Professional_Dynamics
参考文献
編集- William F. Clocksin, Christopher S. Mellish: Programming in Prolog: Using the ISO Standard. Springer, 5th ed., 2003, ISBN 978-3540006787.
- Leon Sterling, Ehud Shapiro: The Art of Prolog: Advanced Programming Techniques, 1994, ISBN 0-262-19338-8.
- D.L. Bowen, L. Byrd, F.C.N. Pereira,L.M. Pereira and David H.D. Warren: DECsystem-10 PROLOG USER'S MANUAL, University of Edinburgh,1982.
- ISO/IEC 13211: Information technology — Programming languages — Prolog Part 1: General core Part 2: Modules. International Organization for Standardization, Geneva.
- Robert Kowalski. The Early Years of Logic Programming, CACM January 1988.
- Alain Colmerauer, Philippe Roussel. The birth of Prolog, in The second ACM SIGPLAN conference on History of programming languages, p. 37-52, 1992.
- David H D Warren, Luis M. Pereira and Fernando Pereira, Prolog - the language and its implementation compared with Lisp. ACM SIGART Bulletin archive, Issue 64. Proceedings of the 1977 symposium on Artificial intelligence and programming languages, pp 109 - 115.
- Buss, Samuel R., "On Herbrand's Theorem", in Maurice, Daniel; Leivant, Raphaël, Logic and Computational Complexity, Lecture Notes in Computer Science, Springer-Verlag, pp. 195–209. 1995.
- 古川康一:第五世代コンピュータからスキルサイエンスへ - 論理プログラミング・アプローチ,特別講演資料, 2014.
参考書籍
編集ウィキペディアはオンライン百科事典であって、情報を無差別に収集する場ではありません。 |
- 『プログラムの理論 コンピュータ・サイエンス研究所シリーズ』 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
- 『Prologで学ぶAI手法 推論システムと自然言語処理』 高野真、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
- 『言語・知識・信念の論理 知の科学』 東条敏 人工知能学会 共著、2006年、オーム社、ISBN 4-274-20211-9
- 『論理と計算のしくみ』 萩谷昌己 西崎真也 共著 、2007年、岩波書店、ISBN 978-4-00-006191-9
- 『コンピュータプログラミングの概念・技法・モデル Concepts Techniques and Modelsof Computer Programming』 ピーター・ヴァン・ロイ セイフ・ハリディ 共著 羽永洋 訳、2007年、翔泳社、ISBN 978-4-7981-1346-3
- 『On Lisp』 Paul Graham 著/野田開 訳、2008年、オーム社、ISBN 978-4-274-06637-5
- 『数理論理学 コンピュータサイエンス教科書シリーズ 18』 古川康一 向井国昭 共著、2008ねん、コロナ社、ISBN 978-4-339-02718-1
- 『新 人工知能の基礎知識』 太原育夫著、2008年、近代科学社、ISBN 978-4-7649-0356-2
- 『Prologで学ぶAIプログラミング I/OBOOKS』 赤間世紀、2008年、工学社、ISBN 978-4-7775-1402-1
- 『メディア情報学入門』 鈴木昇一、2010年、東京図書出版会、ISBN 4862234062
- 『実用 Common Lisp (IT Architects’Archive CLASSIC MODER)』 ピーター・ノーヴィッグ著/松本宣男 訳、2010年、翔泳社、ISBN 978-4798118901
- 『7つの言語 7つの世界 Ruby lo Prolog Scala Erlang Clojure and Haskell』 Bruce A. Tate 著/まつもとゆきひろ監訳 田和数 訳、2011年、オーム社 ISBN 978-4-274-06857-7
- 『入門 自然言語処理』 Steven Bird Ewan Klein Edward Loper 共著/萩原正人 中山敬広 水野貴明 訳、2010年、オーム社、ISBN 978-4-87311-470-5
- 『アルゴリズム設計マニュアル上』 S.S スキーナ 著/平田富夫 訳、2012年、丸善、ISBN 978-4-621-08510-3
- 『知識基盤社会のための人工知能入門 計測・制御テクノロジーシリーズ 16』 国藤進 中田豊久 羽山徹彩 共著 2012年、コロナ社、ISBN 978-4-339-03366-3
- 『プログラミング言語温故知新―人工言語の継承を学ぶ』 土屋勝、2014年、カットシステム、ISBN 978-4-87783-328-2
- 『イラストで学ぶ 人工知能概論』 谷口忠大、2014年、オーム社、ISBN 978-406-1538238
- 『数理論理学-合理的エージェントへの応用に向けて』 加藤暢,高田司郎,新出尚之 共著、2014年、コロナ社、ISBN 978-4-339-02489-0
- 『知能の物語』 中島秀之著、2015年、公立はこだて未来大学出版会発行 近代科学社発売、ISBN 978-4-7649-5552-3