Prolog

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は、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である^[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキの門弟のデヴィッド・ワーレンが1977年に改訂開発したエディンバラProlog（DEC-10 Prolog）が標準になってPrologは広く普及した^[2]。

概要

1972年ごろにフランスのアラン・カルメラウアーとフィリップ・ルーセルによって考案された^[2]。

成立の事情から、Prolog プログラムは論理式とみなされ、その実行は述語論理によって述語が定義された環境における定理証明に擬して解釈されることが多い。利用者は論理プログラミングの枠組みを、取り分け述語論理を学習することで、この枠組みに極めて忠実なこの言語の基礎的な構造のほとんどを理解できる。その言語仕様はこの枠組み以外には考案者たちも含めてそれ以上の拡張をほとんど行っていないため、他のプログラム言語とは異なり、学習しなくてはならない概念や用語もまた、述語論理のものだけでこと足りる。基本的に計算機科学の新しい概念や新しい手法とは無縁である。ただし、SWI-Prolog等の処理系では様々な機能拡張の試みが行われている。一階述語論理は型理論や操作的意味論の研究論文で多数用いられており、今後、再注目される可能性がある。

述語論理と論理プログラミング

Prolog のプログラムは一階述語論理に基づいてデータ間の関係を示す命題として記述され、処理系がそれらに単一化(ユニフィケーション)と呼ばれるパターンマッチングを施しながら、与えられた命題が成立するか再帰的手続きによって探索している。

プログラムの実行は述語集合が定義された環境の元で、質問することによってなされるが、これは反駁という述語論理的な証明過程を模して、処理系が用意する導出木と呼ばれるグラフをたどって解を得る過程である。 Prolog のもととなるこの演繹手法は導出と呼ばれ、自動定理証明の研究において Prolog 開発以前からよく知られていた。Prolog は、導出において節を頭部が一つの命題からのみなるホーン節に限定したもので、この場合の導出をSLD導出（Selective Linear resolution for Definite clause）と呼ぶ。ホーン節に限定しているということは、つまり、Prolog は任意の述語をそのまま扱えるわけではない。Prolog が述語の形式をホーン節に限定した理由は、もし頭部に項の連言を認めるならば、導出時の計算量が爆発的に増大して、全ての解を得ることの保証が難しくなることが必至だからである。

述語論理を論理的な背景に持つことによって、Prolog のプログラムはその正しさを確認することが比較的容易である。同時に、プログラマは Prolog でプログラミングすることが何を意味するかを明確に理解した上で、プログラムを書いていくことができる。

非述語論理的な立場

上記は Prolog の一つの解釈である。一方、Prolog というプログラム言語を述語論理という枠にはめないで捉える立場もある。導出、単一化、非決定性、双方向性、関係データベースといったこの言語に独特の機能とその表現力、記述力に着目し、そのプログラム言語としての可能性を率直に評価しようとするものである。

新たに Prolog を学びたいと思う人は、他のプログラム言語を全く知らなくても、ソフトウェア科学的な予備知識や概念に不通であっても、単一化という単純なルールをほとんど唯一の基軸として、パズル的な、あるいはゲーム的な感覚にだけ導かれて、プログラムを簡単に書き進むことができる。さらに、どの言語にも比して平坦で、平明な言語構造を持つ Prolog はラベル名（アトム、関数名、述語名）に適切な意味性を付与することにより、自然言語の領域にも接近したプログラミングが期待できるほとんど唯一の言語でもある。

十分述語論理的な教養を持った上で Prolog を学び、そのプログラムを書くならば、短期間で高度で安定したプログラムを書くことができる。しかし、それを前提としないでも、Prolog は冒険的で、未知の領域に満ちたプログラム言語なのである。

実はこれらの主張は、述語論理的な主張に隠れて、これまであまり強調されたことがなかった。

このような立場や主張が生まれる背景には、Prolog が期待されたほどにはソフトウェア革新の担い手になり得ていない理由が、その後の数理論理学の学問的な評価をもって、プログラム言語としての可能性を十分検証することを放棄して、定理証明といった狭い目的へ封じ込めようとする風潮を生んだことにある、という反省がある。そのことを踏まえて、Prolog が述語論理から成立したことにこだわらず、実在するプログラム言語として自由な視点からこの言語を見直そうとするものである。

記号処理用言語・人工知能言語

Prolog は LISP の資産の多くを継承して間違いなく記号処理用の言語であるが、人工知能言語として分類されることも多い。これは、人工知能の世界では述語論理が古くから理論的な柱の一つとなっているからである。述語論理を基礎とするトップ・ダウン式の問題解決と同じく述語論理を基礎とする Prolog の駆動機構の相性は当然良いため、人工知能研究に広く利用されてきた。特にエキスパートシステムで多用されるプロダクションシステムにおいては、ルールを自然に自ら動的に変更できる能力を持つことと、後ろ向き推論と呼ばれる推論が Prolog の導出過程そのものであることから、その最も主要な記述言語の位置を占めてきた。

宣言型言語

Prolog は一階の述語論理に対応することから論理型言語に分類される汎用言語であるが、その主張の一行一行を独立して論理式とほとんど等価な表現で行うことから、最も代表的な宣言型言語と見なされている。Prolog のプログラム単位である述語の各節の本体に現れる質問単位である副目標数は平均5個以内と極めて少ない。この副目標と各節の頭部に現れる引数の組み合わせによって得られる関係が述語の意味を構成している考えられる。これが宣言型とされるゆえんである。

<頭部> :- <本体>.  % Prologの節は頭部と本体によって構成される。

% 述語定義は複数の節からなる。本体は幾つかの副目標からなる。
% 副目標の全てが真となった時に節の宣言は成立する（節は真となる）。

述語名(引数_1,引数_2) :- <副目標_1>,<副目標_2>.
述語名(引数_1,引数_2) :- <副目標_3>
・・・

単一化

単一化は1960年代の述語論理理論の発展の鍵となった概念であるが、Prolog が述語論理に導かれて機械による自動証明を実現するためのプログラム言語として成立したことから、必然的にこの言語の必須の最も重要な機構となった。単一化は副目標（質問）と対応する定義節の頭部のパターンが完全に一致するか、調べることで、節の選択^{[注 1]}を可能にする。さらに、Prolog の実行順序等の制御は単一化のからくりを利用してプログラミングされる。

簡単なからくりでかつ極めて強力な単一化であるが実行コストも大きい、すなわち実行速度が遅くなる原因となる。さらに、パターンとして認識することと引き換えに、引数での関数評価は不可能になった。独立して節の本体で式評価を記述しなくてはならないため、数値計算ではやや冗長になる。これらの点は、単一化の強力さとのトレードオフの関係になっている。

動的型付け

型付けは動的型付けに分類できるが、言語仕様の中に型概念は登場しない。上記の単一化、バックトラッキング、と論理変数の束縛においては独特のものがあり、その実行は型推論の実行過程に酷似している。既に Prolog はその引数の引渡し時に単一化という厳密なパターンマッチングを施すことに多大なコストを掛けた。単一化だけでプログラムをコントロールできる言語が Prolog であるといっても過言ではない。この単一化のみによる簡素で強力なプログラムコントロールの足を引っ張ることに成り兼ねない、型付けの強化は、Prolog 言語とその支持者によって受け入れられることはないだろう。

非オブジェクト指向言語

Prolog は言語による思考をモデル化して主語・述語といった意味での文中の述語を特に重視して記述する系である。この一点からも、対象物を中心に記述していくオブジェクト指向とは距離が大きい。述語論理以前にオブジェクトありきとする立場を一般には取らない。

いくつかの処理系では、オブジェクト指向言語としての拡張が行なわれているが、オブジェクトを中心に設計されることは、論理プログラミングを重視して記述される限りほとんどない。分類するならば、非オブジェクト指向言語に分類される。オブジェクト指向に拡張された言語としては

Visual Prolog（英語版）
Logtalk（英語版）

が存在する。

オンメモリデータベース

後に述べるが Prolog の述語はその構造が頭部と本体と分かれていて、本体はルールを意味するため、全体として、ルールを持ったデータベース、演繹データベースとして捉えることができる。これはPrologプログラム全体がデータベースであるということだから、データベースの表現としては最強のクラスに属する。一方、事実を表す本体のない（強制的に真）頭部のみの定義節による述語は関係データベースとその集合論的な性質で一致する。収集した情報を一つの述語に対して多数の頭部のみを持った節の集まりとして定義することにより、オンメモリ関係データベースを構築することが可能である。しかし、Prologをデータベース管理システムとして捉えた場合、 assert、retract、setof、bagof、findall という組込述語を持つこと以外には、管理機構としての特別の組込述語が用意されている訳ではなく、ディクショナリ管理などのための述語定義をユーザが追加する必要がある。

非決定性と双方向性

関数型言語等、他のプログラミング言語と比較しての Prolog の特長は、上記、一階述語論理に基づくこと、単一化、データベース言語的性格の他に、非決定性と双方向性が挙げられる。

非決定性は、解が唯一とは限らない場合、処理系側から見てひとつの解に決定できない場合、外部からの選択の余地を与える。そういうことが当然可能なこととして述語は定義されていく。インタプリタトップではなく、導出を繰り返すプログラム内部にあっては、処理系側とした所を述語と置き換えて考えると、非決定性の述語の解を決定するのは、前方または後方に連接する質問（副目標）である。前方の副目標群から引数経由で与えられる情報によって副目標は一つの解を作り出すが、この解が真であるとするのは最終的に後方に連接する副目標である。この後方に連接した副目標が全て真となった場合に限り副目標は真となる。後方に連接する副目標のどれかが真にならなかった場合は、それが存在すればであるが別解を用意しなくてはならない。ここでも非決定性の述語、ここでは副目標から見ての解の決定権は、外部にあるということになる。

非決定性は導出の過程、取り分けバックトラックアルゴリズムと一体化しており、Prolog プログラムの制御の根幹のひとつである。ただ、非決定性述語実行時に見られる論理変数の束縛→解放→再束縛という遷移、すなわち一度束縛されたものが別のものに再度束縛されるということを好ましくないとする見方もある。

双方向性は、述語が実行された場合の返り値は真または偽だけであり、その代わりとして引数内の変数で値の授受を終始するのだが、このとき、入力として使われた変数が出力に、出力として使われていた変数が入力として使うことのできる述語となることがある。この性質を双方向性という。多くの場合、双方向性を持つ述語はそれ自体多義性を持つ。例えば append という3引数の述語は第一引数と第二引数に具体的なリストが来て呼ばれた時は、リストを結合する意味でよいが、第三引数がリストで第一引数と第二引数が変数の状態で呼ばれた場合その意味は、リストを分解する、がふさわしい。既に存在するリストを、それが結合されて存在したものと考え、それではどのように結合されていったか、あるいは、どのような組み合わせで結合されていったのかを、示していると解釈できる。

このような、双方向性は Prolog の述語自らがリバースエンジニアリング的開示能力を持ち、それを示していると捉えることができる。この性質は、Prologを含む論理型プログラム言語の持つ際立った特徴であり、プログラム作成時はもちろん、テスト、デバッグなどの検証の各段階でプログラムコードに対する見通しを向上させる。

Prolog プログラミングの難しさ

プログラマは引数の単一化、再帰/失敗駆動等のプログラムパターンの選択、非決定性、双方向性といった特長をできる限り生かすことなどに配慮しながら、述語の骨格を決めプログラミングを進める。しかし、これらの特長、性質は複合した場合には相当に複雑であり、制御上相反する部分も多々ある。Prolog では、述語論理を逸脱して計算量/資源量/制御の調整に当たる述語「!」（カット）を導入してこの問題に対処しているが、Prolog プログラミングの難しさはこの調整部分に集中している。

歴史

誕生

Prolog の性格上、その歴史には定理の自動証明の研究が大きく関係している。1930年にジャック・エルブランは自動定理証明やPrologのベースとなる数理論理学上の基本定理であるエルブランの定理を発表した。エルブランの論文には Prolog で必須の単一化アルゴリズムもすでに含まれていた^[3]。

1950年代以降、計算機上での定理証明の研究が活発になり、ギルモアのアルゴリズム(1960)やデービス・パトナムのアルゴリズム(1958,1960) 、プラウィツによる定理証明への単一化アルゴリズムの導入(1960)などを経て、1965年のロビンソンによる導出原理や1960年代後半のラブランドによるモデル消去の証明手続きの成果からひとつの結実期を迎えた。その数年後の1971年マルセイユ大学のアラン・カルメラウアーとフィリップ・ルーセルのグループは自動定理証明システムとフランス語の自然言語解析システムとを組み合わせたコンピュータとの自然言語対話システムを作成していた。この際に自然言語解析システムも自動定理証明システムと共通の論理式という枠組みで構築できることに気が付き、論理式をそのままプログラムとして実行できる最初の Prolog を1972年に完成させた^[4]。これは数千年に及ぶ人類の叡智である論理学の成果をプログラム言語に置き換えたものと言えるが、現在の Prolog でプログラムの制御に使われるカットオペレータに相当する機能が最初から導入されるなど^[5]、現在の 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).

コワルスキはその後、インペリアル・カレッジ・ロンドンに移り、1979年に集大成ともいえる「Logic for Problem Solving」を著し、その後のこの言語と論理プログラミングの研究に決定的な影響を与えた。

コワルスキの活動と DEC-10 Prolog の存在によって、英国は Prolog 研究の中心地となった。エジンバラ大学のW・F・クロックシン^{[注 3]}とC・S・メリシュ^{[注 4]}の著わした「Programming in Prolog」は長く Prolog のバイブル本として利用された。エジンバラ大学からSRIインターナショナルに転じたディビッド・ウォレンは1983年 Prolog の仮想マシンコードであるWarren's Abstract Machine（英語版）（WAM）を発表した。この後の Prolog 処理系の実装は、一旦C言語などでこの仮想マシンコードを実装して、その上で Prolog のソースコードをこのマシンコードに変換するコンパイラを用意するという手順を踏むことによって、開発を簡素化し実装上の標準化を図ることが普通になった。日本の新世代コンピュータ技術開発機構の Prolog マシン PSI は1987〜1988年頃に開発された PSI2 からこれを採用したし、その後開発された Prolog 処理系の多くはこの方式に従った。

1976年にSRIに留学していた古川康一はカルメラウアーらの Prolog 処理系のリストを見つけ帰国時に電子技術総合研究所に持ち帰った^[6]。当時電子技術総合研究所で推論機構研究室長をしていた渕一博はこのリストを解析して Prolog 処理系を走らせ、ルービックキューブを解くプログラムを作成するなど論理プログラミングに対する理解を深めていった^[6]。

1978年MITに留学中の中島秀之が「情報処理」誌に紹介記事を寄稿して、Prolog は日本でも広く知られるようになった。

新世代コンピュータ技術開発機構とProlog

1970年代終り頃、日本では通産省の電子技術総合研究所の渕一博を中心とするグループが論理プログラミングの重要性を認識して、日本のコンピュータ技術の基礎技術としてこれを取り上げることを提案する。これが最終的に1980年代の新世代コンピュータ技術開発機構の発足と活動につながった。総額約570億円の国家予算を約束されて1982年に新世代コンピュータ技術開発機構（ICOT）は活動を開始する。Prolog を含む論理型言語はこの研究の核言語と位置づけられ世界的な注目を浴びることとなる。約10年間の研究活動中に Prolog と論理プログラミングの研究は急激に深化した。実際1980年からの20年間に Prolog をメインテーマにした日本語の書籍は約50冊発刊された。ICOT の研究員は積極的に Prolog の啓蒙に努め、講習会、チュートリアル、ワークショップを年に一度ならず開催した。ICOT が主催したロジック・プログラミング・コンファレンスは1983〜1985年頃をピークに若い研究者達を刺激した。研究活動前半の期間では論理型言語の実用性を証明するために、Prologマシンが設計され、三菱電機と沖電気によって製作され、ICOT の他大学等研究機関に配布された。この個人用逐次推論マシン PSI の機械語 KL0 は単一化やバックトラックなど Prolog の基本的特徴を完全に備えていた。この KL0 によって、PSI のマイクロコードを制御した。KL0 を基礎として、オペレーティングシステム SIMPOS が設計され、これを記述するために、Prolog にオブジェクト指向プログラミングを取り入れた ESP^{[注 5]}が近山隆により設計されて使われた。ESPは多重継承を特徴とする当時としては先鋭のオブジェクト指向言語であったが、後にカプセル化の不備などが指摘されて、今日あまり話題となることはない。しかし、OSを記述するという課題を通じて、論理型言語にオブジェクト指向言語的要素を加えることによって、可読性が高まりプログラム管理がしやすくなることが確認された。その反面、Prolog のみでオペレーティングシステムを完全に記述してみる絶好の機会を逸したことも確かである。ESPはPSIを前提にせずに利用できるように、C言語で書き直したCESPが開発されたが、これが普及への起爆剤になることはなかった。後に述べるように、PrologのISO標準規格のモジュール仕様としてESPの採用が否決された1995-6年頃以降はほとんど利用されることはなくなった。

ここまで述べたように、Prologは ICOT によって持ち上げられた言語 Prolog との印象が強いが、Prolog というプログラミング言語から見ての ICOT の影響は実は限定的だった。淵所長ら ICOT の主研究テーマは並列論理型言語にあり、研究後半では Prolog そのものからは離れて行くことになる。PSI に使用した電子基盤を利用して並列推論マシン PIM が製作されて、Guarded Horn Clauses（GHC）に基づく並列演算処理を追加した KL1 が設計された。この環境に依存する形で、並列論理プログラム言語のKL1は知識プログラミング全般の研究に利用された。PSI と SIMPOS を使った研究も続けられはしたが、割り当てられた研究員の数は極めて少なかった。

ICOT の活動を総括して、知識プログラミング各課題において準備不足からくる未消化を指摘する向きが強いのだが、こと Prolog から見ての前半期の活動は、今日語られることも少ないが、極めて充実したものであったといえる。

ICOT の活動盛期の1984年京都大学の学生3名^[7]が研究課題として製作した Prolog-KABA がその性能の高さとアセンブラで記述されたことからくる高速性で世界を驚かせた。この処理系は MS-DOS 上で製品化されて Prolog の普及に大きく貢献した。Successful pop や末尾再帰の最適化など高い安定した性能で黎明期のパソコン上のビジネスソフトの基礎言語としての展開も期待されたが、16ビットの整数しか持たず、浮動小数点数も扱えない仕様であったため、この分野への展開は起こらなかった。この点はアセンブラで記述されて簡単には拡張できない点が裏目に出た。結果としてこの仕様の乏しさが、日本のビジネスソフトが知識プログラミングの水準との間に横たわる分水嶺を越えることができなかった原因の一つとなった。

1990年代とISO標準規格

1990年代に入ると制約論理プログラミングが注目され処理系が多数誕生した。これは Prolog から見ると引数の論理変数間の関係（制約）を記述可能に拡張したものである。制約論理型言語は、変数評価に遅延実行などを持ち込むことが必要となるが、連立方程式をはじめとする多くの課題で Prolog より記述が柔軟になる。Prolog の組込述語には引数が変数で渡るとエラーとなるものが多く、このため Prolog プログラマは変数が具体化されるように副目標の記述順序に気を配る必要がある。結果としてプログラミングに逐次性が生じる。制約論理プログラミングにおいては、後に変数が具体化されたときに検査されるための変数の間の制約を記述するだけで、この逐次性の拘束を解決して通過することができる。実はこの制約はPrologから見ても自然な拡張であり、むしろ Prolog の単一化が制約論理プログラミングの制約を「=」のみに限定したものだと解釈することができる。しかし、簡素で逐次的な性格を強く持つ 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 の活動時期から1990年代前半に掛けては、いわゆる人工知能ブームの時期であり、人工知能研究への期待はこの時期再び異様に高まった。LISP マシンによる医療情報エキスパートシステムでの成果は、人工知能の研究の成果の一部は情報処理に於いても利用可能なのではないかとの夢を抱かせた。このような評価の中で Prolog は人工知能のアセンブリ言語的な位置づけを期待された。知識情報処理はこの水準の言語を基礎にその上側に築かれるべきだとの意味である。手っ取り早く利用可能な人工知能技術としてエキスパートシステムが選別され、これを支えるナレッジエンジニアの存在とそれを養成するための教育が必要とされた。Prolog はその中心に存在した。日本も例外ではないが、日本以外の国では特に、Prolog の名著は1990年代前半に刊行されている。これは、ICOT の活動とは若干のタイムラグがあるが、この時期社会的に人工知能向き言語としての Prolog に大きな期待が寄せられていたことの証しである。エキスパートシステムはビジネス分野において広範囲に応用可能な基礎技術であったが、このような低水準な分野への適用はあまり試みられず、この分野からの Prolog 言語への要請はほとんど見られないまま終った。

機械翻訳などの自然言語処理もまた人工知能の一翼を担う分野であるが、歴史的経緯から人工知能ブーム以前から、この言語に最も期待が掛けられた分野であった。しかし、左再帰問題の回避でトップダウン解析の明解さをいきなり殺がれた。さらに句構造文法への適用においては、Prolog が得意とする、句構造に分解して意味に相当するグラフを形成することの他に、極めて膨大な辞書を構造体として定義する必要が展望された。この辞書作成は Prolog とは直接関係しないタスクであることから、次第に Prolog は句構造文法によるアプローチの前線から後退してしまった。統計的言語処理のアプローチでは、単一化等に多くの計算量を費やす Prolog は大量データを扱うのに不向きとされて、利用されることはほとんどない。自然言語処理のテキストの多くが Prolog を用いて解説されているにも関わらず、期待が大きかった割に実務的には、表面に現れている成果はIBM社のワトソン程度にとどまり、自然言語処理はむしろ Prolog 評価の足を引っ張る傾向にさえある。

ICOT以後の日本における衰退

日本においては、ICOT 解散後数年を経て、論理プログラミングと Prolog は急激に下火となる。先にあげたコワルスキの成果があまりにも完成されたものでその研究成果の範囲を越えることが難しかったこと、歴史的にプログラム言語でありながら論理学からの逸脱を厳しく制限され、自由なアイデアによるプログラミング言語としての発展・展開が困難に見えたことも研究者・技術者を離れさせた。そして、人工知能ブームもまた去って行った。企業等で続けられた研究開発も発表される機会がProlog産業応用シンポジウム（INAP）などに限定され、人々の目に Prolog の成果が触れることは極端に少なくなった。ICOT の多大な研究成果がネット上に閲覧可能な状態で置かれたが、Prolog 言語の処理系はインターネット時代の技術・流れに乗れず、初心者・初学者が利用するためのネット上での情報も他の有力言語に比べて少なく、新しい利用者を惹きつけることができなかった。パソコンのオペレーティングシステムとして Microsoft Windows が一般に普及し始めると、初心者教育にウィンドウの部品の展開を題材とするのに適したオブジェクト指向言語に人気が集中し、Prolog は動作の遅い外れた言語のイメージを持たれるようになる。さらに21世紀に入ると Prolog がクラス概念を持たないため、マイクロソフト社による .NET アーキテクチュアの共通言語基盤（CLR）の対象言語から外され、この傾向に拍車をかけた。ついには枯れた言語というニュアンスを含んでではあるが、「化石言語」と揶揄されるまでに至ったのである。

今日

盛時の勢いは失ったものの、Prolog は各教育機関で主として論理学の教材として利用され続け、今日まで数万人の人が Prolog の講座を受講している。実務的に利用される機会が少ないにも関わらず、その素養を持つ人が大量に存在するという特異な位置にあるプログラム言語となっている。また、多くのプログラミング言語でその言語上にPrologインタプリタを制作してみることが難度の高い学習課題の一つとして採用され、その結果としてもPrologを理解しているプログラマは増加する傾向がある。

2011年夏ブルース・A・テイト^{[注 6]}著『7つの言語 7つの世界』が出版され、その7つの言語の一つとして Prolog が紹介されたことから、多くの人々の関心を呼び起こし、この言語は突然に息を吹き返した。ダニエル・ジャクソン^{[注 7]}著『抽象によるソフトウェア設計』も翻訳されて述語論理に基礎を持つ形式記述言語 alloy が注目されるなど、Prolog に極めて親近した領域での議論がようやく活発になった。
2012年イワン・ブラトコ^{[注 8]}著「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 などの各種言語をライブラリとして含んでいる。

処理系	オープンソース	有償・無償の別	準拠規格	備考
Amzi!Prolog	—	有償	ISO規格
AZ-Prolog	—	個人/学術は無償	ISO/DEC-10 Prolog	日本語対応 Prolog-KABA互換(グラフィックスを除く)
B-Prolog	—	学術は無償	—
Ciao Prolog	○	—	ISO規格
GNU Prolog	○	—	ISO規格
K-Prolog^[9]	—	有償	ISO規格	日本語対応
micro-Prolog	—	—	—	学術研究用 ^[10] CP/M80 上で動作
MINERVA	—	有償	ISO規格	業務用、Java ベース
Open Prolog	—	無償	ISO規格	Mac OS 用
Prolog Cafe	○	—	—	Prolog プログラムを Java プログラムに変換
Prolog.NET	○	—	—	.NET で Prolog を使用できる
P#	—	—	—	PrologプログラムをC# プログラムに変換
Qu-Prolog	—	—	—	マルチスレッド処理系
Rebol Prolog	—	—	—
SICStus Prolog	—	有償	ISO規格	多くのオペレーティングシステムに対応。Java や .NET でのウェブアプリケーション開発可能。
Prolog for Squeak	—	—	—	Squeak に統合された Prolog 環境
Strawberry Prolog	○	—	—
SWI-Prolog	○	—	ISO規格	多くのオペレーティングシステム、Unicodeに対応
TuProlog	—	—	—
Visual Prolog	—	個人は無償	—	Windows専用
XSB	○	—	—
YAP Prolog	○	—	ISO規格	Prolog コンパイラ。
Scryer Prolog	○	—	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
^ “Ｋ－Ｐｒｏｌｏｇについて”. 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

典拠管理データベース
国立図書館	フランス BnF data イスラエルアメリカチェコ
その他	IdRef