この
記事 きじ には
複数 ふくすう 問題 もんだい 。
改善 かいぜん や
ノートページ での
議論 ぎろん にご
協力 きょうりょく ください。
ウィキブックスに
言語 げんご 仕様 しよう 関連 かんれん の
解説 かいせつ 書 しょ ・
教科書 きょうかしょ があります。
ウィキブックスに
プログラム例 れい 関連 かんれん の
解説 かいせつ 書 しょ ・
教科書 きょうかしょ があります。
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年 ねん マルセイユ大学 だいがく のアラン・カルメラウアーとフィリップ・ラッセルによって開発 かいはつ フランス語 ふらんすご pro grammation en log ique名 な 由来 ゆらい [ 1] 誕生 たんじょう エディンバラ大学 だいがく のロバート・コワルスキが考案 こうあん ホ ほ ン節 んせつ 大 おお 寄与 きよ 元祖 がんそ 版 ばん 呼 よ 後 ご 門弟 もんてい 年 ねん 改訂 かいてい 開発 かいはつ 標準 ひょうじゅん 広 ひろ 普及 ふきゅう [ 2]
1972年 ねん ごろにフランス のアラン・カルメラウアーとフィリップ・ルーセルによって考案 こうあん [ 2]
成立 せいりつ 事情 じじょう Prolog プログラムは論理 ろんり 式 しき 実行 じっこう 述語 じゅつご 論理 ろんり 述語 じゅつご 定義 ていぎ 環境 かんきょう 定理 ていり 証明 しょうめい 擬 ぎ 解釈 かいしゃく 多 おお 利用 りよう 者 しゃ 論理 ろんり 枠組 わくぐ 取 と 分 わ 述語 じゅつご 論理 ろんり 学習 がくしゅう 枠組 わくぐ 極 きわ 忠実 ちゅうじつ 言語 げんご 基礎 きそ 的 てき 構造 こうぞう 理解 りかい 言語 げんご 仕様 しよう 枠組 わくぐ 以外 いがい 考案 こうあん 者 しゃ 含 ふく 以上 いじょう 拡張 かくちょう 行 おこな 他 た 言語 げんご 異 こと 学習 がくしゅう 概念 がいねん 用語 ようご 述語 じゅつご 論理 ろんり 足 た 基本 きほん 的 てき 計算 けいさん 機 き 科学 かがく 新 あたら 概念 がいねん 新 あたら 手法 しゅほう 無縁 むえん 等 とう 処理 しょり 系 けい 様々 さまざま 機能 きのう 拡張 かくちょう 試 こころ 行 おこな 一 いち 階 かい 述語 じゅつご 論理 ろんり 型 かた 理論 りろん 操作 そうさ 的 てき 意味 いみ 論 ろん 研究 けんきゅう 論文 ろんぶん 多数 たすう 用 もち 今後 こんご 再 さい 注目 ちゅうもく 可能 かのう 性 せい
Prolog のプログラム は一 いち 階 かい 述語 じゅつご 論理 ろんり 基 もと 間 あいだ 関係 かんけい 示 しめ 命題 めいだい 記述 きじゅつ 処理 しょり 系 けい 単一化 たんいつか ユニフィケーション )と呼 よ パターンマッチング を施 ほどこ 与 あた 命題 めいだい 成立 せいりつ 再帰 さいき 的 てき 手続 てつづ 探索 たんさく
プログラムの実行 じっこう 述語 じゅつご 集合 しゅうごう 定義 ていぎ 環境 かんきょう 元 もと 質問 しつもん 反駁 はんばく 述語 じゅつご 論理 ろんり 的 てき 証明 しょうめい 過程 かてい 模 も 処理 しょり 系 けい 用意 ようい 導出 どうしゅつ 木 き 呼 よ 解 かい 得 え 過程 かてい Prolog のもととなるこの演繹 えんえき 手法 しゅほう 導出 どうしゅつ 呼 よ 自動 じどう 定理 ていり 証明 しょうめい 研究 けんきゅう Prolog 開発 かいはつ 以前 いぜん 知 し Prolog は、導出 どうしゅつ 節 ふし 頭部 とうぶ 一 ひと 命題 めいだい ホ ほ ン節 んせつ 限定 げんてい 場合 ばあい 導出 どうしゅつ SLD導出 どうしゅつ （Selective Linear resolution for Definite clause）と呼 よ ホ ほ ン節 んせつ 限定 げんてい 任意 にんい 述語 じゅつご 扱 あつか 述語 じゅつご 形式 けいしき ホ ほ ン節 んせつ 限定 げんてい 理由 りゆう 頭部 とうぶ 項 こう 連言 れんげん 認 みと 導出 どうしゅつ 時 じ 計算 けいさん 量 りょう 爆発 ばくはつ 的 てき 増大 ぞうだい 全 すべ 解 かい 得 え 保証 ほしょう 難 むずか 必至 ひっし
述語 じゅつご 論理 ろんり 論理 ろんり 的 てき 背景 はいけい 持 も 正 ただ 確認 かくにん 比較的 ひかくてき 容易 ようい 同時 どうじ Prolog でプログラミングすることが何 なに 意味 いみ 明確 めいかく 理解 りかい 上 うえ 書 か
上記 じょうき Prolog の一 ひと 解釈 かいしゃく 一方 いっぽう Prolog というプログラム言語 げんご 述語 じゅつご 論理 ろんり 枠 わく 捉 とら 立場 たちば 導出 どうしゅつ 単一化 たんいつか 非 ひ 決定 けってい 性 せい 双方向 そうほうこう 性 せい 関係 かんけい 言語 げんご 独特 どくとく 機能 きのう 表現 ひょうげん 力 りょく 記述 きじゅつ 力 りょく 着目 ちゃくもく 言語 げんご 可能 かのう 性 せい 率直 そっちょく 評価 ひょうか
新 あら Prolog を学 まな 思 おも 人 ひと 他 た 言語 げんご 全 まった 知 し 科学 かがく 的 てき 予備 よび 知識 ちしき 概念 がいねん 不通 ふつう 単一化 たんいつか 単純 たんじゅん 唯一 ゆいいつ 基軸 きじく 的 てき 的 てき 感覚 かんかく 導 みちび 簡単 かんたん 書 が 進 すす 言語 げんご 比 ひ 平坦 へいたん 平明 へいめい 言語 げんご 構造 こうぞう 持 も Prolog はラベル名 めい 関数 かんすう 名 めい 述語 じゅつご 名 めい 適切 てきせつ 意味 いみ 性 せい 付与 ふよ 自然 しぜん 言語 げんご 領域 りょういき 接近 せっきん 期待 きたい 唯一 ゆいいつ 言語 げんご
十分 じゅうぶん 述語 じゅつご 論理 ろんり 的 てき 教養 きょうよう 持 も 上 うえ Prolog を学 まな 書 か 短期間 たんきかん 高度 こうど 安定 あんてい 書 か 前提 ぜんてい Prolog は冒険 ぼうけん 的 てき 未知 みち 領域 りょういき 満 み 言語 げんご
実 じつ 主張 しゅちょう 述語 じゅつご 論理 ろんり 的 てき 主張 しゅちょう 隠 かく 強調 きょうちょう
このような立場 たちば 主張 しゅちょう 生 う 背景 はいけい Prolog が期待 きたい 革新 かくしん 担 にな 手 て 得 え 理由 りゆう 後 ご 数理 すうり 論理 ろんり 学 がく 学問 がくもん 的 てき 評価 ひょうか 言語 げんご 可能 かのう 性 せい 十分 じゅうぶん 検証 けんしょう 放棄 ほうき 定理 ていり 証明 しょうめい 狭 せま 目的 もくてき 封 ふう 込 こ 風潮 ふうちょう 生 う 反省 はんせい 踏 ふ Prolog が述語 じゅつご 論理 ろんり 成立 せいりつ 実在 じつざい 言語 げんご 自由 じゆう 視点 してん 言語 げんご 見直 みなお
記号 きごう 処理 しょり 用 よう 言語 げんご 人工 じんこう 知能 ちのう 言語 げんご [ 編集 へんしゅう ] Prolog は LISP 資産 しさん 多 おお 継承 けいしょう 間違 まちが 記号 きごう 処理 しょり 用 よう 言語 げんご 人工 じんこう 知能 ちのう 言語 げんご 分類 ぶんるい 多 おお 人工 じんこう 知能 ちのう 世界 せかい 述語 じゅつご 論理 ろんり 古 ふる 理論 りろん 的 てき 柱 はしら 一 ひと 述語 じゅつご 論理 ろんり 基礎 きそ 式 しき 問題 もんだい 解決 かいけつ 同 おな 述語 じゅつご 論理 ろんり 基礎 きそ Prolog の駆動 くどう 機構 きこう 相性 あいしょう 当然 とうぜん 良 よ 人工 じんこう 知能 ちのう 研究 けんきゅう 広 ひろ 利用 りよう 特 とく エキスパートシステム で多用 たよう 自然 しぜん 自 みずか 動的 どうてき 変更 へんこう 能力 のうりょく 持 も 後 うし 向 む 推論 すいろん 呼 よ 推論 すいろん Prolog の導出 どうしゅつ 過程 かてい 最 もっと 主要 しゅよう 記述 きじゅつ 言語 げんご 位置 いち 占 し
Prolog は一 いち 階 かい 述語 じゅつご 論理 ろんり 対応 たいおう 論理 ろんり 型 がた 言語 げんご 分類 ぶんるい 汎用 はんよう 言語 げんご 主張 しゅちょう 一 いち 行 ぎょう 一 いち 行 ぎょう 独立 どくりつ 論理 ろんり 式 しき 等価 とうか 表現 ひょうげん 行 おこな 最 もっと 代表 だいひょう 的 てき 宣言 せんげん 型 がた 言語 げんご 見 み Prolog のプログラム単位 たんい 述語 じゅつご 各 かく 節 ふし 本体 ほんたい 現 あらわ 質問 しつもん 単位 たんい 副 ふく 目標 もくひょう 数 すう 平均 へいきん 個 こ 以内 いない 極 きわ 少 すく 副 ふく 目標 もくひょう 各 かく 節 ふし 頭部 とうぶ 現 あらわ 引数 ひきすう 組 く 合 あ 得 え 関係 かんけい 述語 じゅつご 意味 いみ 構成 こうせい 考 かんが 宣言 せんげん 型 がた
<頭部 とうぶ > :- <本体 ほんたい % Prologの節 ふし 頭部 とうぶ 本体 ほんたい 構成 こうせい
% 述語 じゅつご 定義 ていぎ 複数 ふくすう 節 ふし 本体 ほんたい 幾 いく 副 ふく 目標 もくひょう
% 副 ふく 目標 もくひょう 全 すべ 真 しん 時 とき 節 ふし 宣言 せんげん 成立 せいりつ 節 ふし 真 しん
述語 じゅつご 名 めい ( 引数 ひきすう , 引数 ひきすう ) :- <副 ふく 目標 もくひょう , <副 ふく 目標 もくひょう
述語 じゅつご 名 めい ( 引数 ひきすう , 引数 ひきすう ) :- <副 ふく 目標 もくひょう >
・・・
単一化 たんいつか 年代 ねんだい 述語 じゅつご 論理 ろんり 理論 りろん 発展 はってん 鍵 かぎ 概念 がいねん Prolog が述語 じゅつご 論理 ろんり 導 みちび 機械 きかい 自動 じどう 証明 しょうめい 実現 じつげん 言語 げんご 成立 せいりつ 必然 ひつぜん 的 てき 言語 げんご 必須 ひっす 最 もっと 重要 じゅうよう 機構 きこう 単一化 たんいつか 副 ふく 目標 もくひょう 質問 しつもん 対応 たいおう 定義 ていぎ 節 ぶし 頭部 とうぶ 完全 かんぜん 一致 いっち 調 しら 節 ふし 選択 せんたく [ 注 ちゅう ] 可能 かのう Prolog の実行 じっこう 順序 じゅんじょ 等 とう 制御 せいぎょ 単一化 たんいつか 利用 りよう
簡単 かんたん 極 きわ 強力 きょうりょく 単一化 たんいつか 実行 じっこう 大 おお 実行 じっこう 速度 そくど 遅 おそ 原因 げんいん 認識 にんしき 引 ひ 換 か 引数 ひきすう 関数 かんすう 評価 ひょうか 不可能 ふかのう 独立 どくりつ 節 ふし 本体 ほんたい 式 しき 評価 ひょうか 記述 きじゅつ 数値 すうち 計算 けいさん 冗長 じょうちょう 点 てん 単一化 たんいつか 強力 きょうりょく 関係 かんけい
型付 かたつ 動的 どうてき 型付 かたつ 分類 ぶんるい 言語 げんご 仕様 しよう 中 なか 型 かた 概念 がいねん 登場 とうじょう 上記 じょうき 単一化 たんいつか 論理 ろんり 変数 へんすう 束縛 そくばく 独特 どくとく 実行 じっこう 型 かた 推論 すいろん 実行 じっこう 過程 かてい 酷似 こくじ 既 すで Prolog はその引数 ひきすう 引渡 ひきわた 時 じ 単一化 たんいつか 厳密 げんみつ 施 ほどこ 多大 ただい 掛 か 単一化 たんいつか 言語 げんご Prolog であるといっても過言 かごん 単一化 たんいつか 簡素 かんそ 強力 きょうりょく 足 あし 引 ひ 張 ぱ 成 な 兼 か 型付 かたつ 強化 きょうか Prolog 言語 げんご 支持 しじ 者 しゃ 受 う 入 い
Prolog は言語 げんご 思考 しこう 化 か 主語 しゅご 述語 じゅつご 意味 いみ 文中 ぶんちゅう 述語 じゅつご 特 とく 重視 じゅうし 記述 きじゅつ 系 けい 一 いち 点 てん 対象 たいしょう 物 ぶつ 中心 ちゅうしん 記述 きじゅつ 指向 しこう 距離 きょり 大 おお 述語 じゅつご 論理 ろんり 以前 いぜん 立場 たちば 一般 いっぱん 取 と
いくつかの処理 しょり 系 けい 指向 しこう 言語 げんご 拡張 かくちょう 行 おこ 中心 ちゅうしん 設計 せっけい 論理 ろんり 重視 じゅうし 記述 きじゅつ 限 かぎ 分類 ぶんるい 非 ひ 指向 しこう 言語 げんご 分類 ぶんるい 指向 しこう 拡張 かくちょう 言語 げんご
が存在 そんざい
後 のち 述 の Prolog の述語 じゅつご 構造 こうぞう 頭部 とうぶ 本体 ほんたい 分 わ 本体 ほんたい 意味 いみ 全体 ぜんたい 持 も 演繹 えんえき 捉 とら 全体 ぜんたい 表現 ひょうげん 最強 さいきょう 属 ぞく 一方 いっぽう 事実 じじつ 表 あらわ 本体 ほんたい 強制 きょうせい 的 てき 真 しん 頭部 とうぶ 定義 ていぎ 節 ぶし 述語 じゅつご 関係 かんけい 集合 しゅうごう 論 ろん 的 てき 性質 せいしつ 一致 いっち 収集 しゅうしゅう 情報 じょうほう 一 ひと 述語 じゅつご 対 たい 多数 たすう 頭部 とうぶ 持 も 節 ふし 集 あつ 定義 ていぎ オンメモリ関係 かんけい を構築 こうちく 可能 かのう 管理 かんり 捉 とら 場合 ばあい assert、retract、setof、bagof、findall という組 くみ 込 こみ 述語 じゅつご 持 も 以外 いがい 管理 かんり 機構 きこう 特別 とくべつ 組 くみ 込 こみ 述語 じゅつご 用意 ようい 訳 わけ 管理 かんり 述語 じゅつご 定義 ていぎ 追加 ついか 必要 ひつよう
関数 かんすう 型 がた 言語 げんご 等 とう 他 た 言語 げんご 比較 ひかく Prolog の特長 とくちょう 上記 じょうき 一 いち 階 かい 述語 じゅつご 論理 ろんり 基 もと 単一化 たんいつか 言語 げんご 的 てき 性格 せいかく 他 ほか 非 ひ 決定 けってい 性 せい 双方向 そうほうこう 性 せい 挙 あ
非 ひ 決定 けってい 性 せい 解 かい 唯一 ゆいいつ 限 かぎ 場合 ばあい 処理 しょり 系 けい 側 がわ 見 み 解 かい 決定 けってい 場合 ばあい 外部 がいぶ 選択 せんたく 余地 よち 与 あた 当然 とうぜん 可能 かのう 述語 じゅつご 定義 ていぎ 導出 どうしゅつ 繰 く 返 かえ 内部 ないぶ 処理 しょり 系 けい 側 がわ 所 ところ 述語 じゅつご 置 お 換 か 考 かんが 非 ひ 決定 けってい 性 せい 述語 じゅつご 解 かい 決定 けってい 前方 ぜんぽう 後方 こうほう 連接 れんせつ 質問 しつもん 副 ふく 目標 もくひょう 前方 ぜんぽう 副 ふく 目標 もくひょう 群 ぐん 引数 ひきすう 経由 けいゆ 与 あた 情報 じょうほう 副 ふく 目標 もくひょう 一 ひと 解 かい 作 つく 出 だ 解 かい 真 しん 最終 さいしゅう 的 てき 後方 こうほう 連接 れんせつ 副 ふく 目標 もくひょう 後方 こうほう 連接 れんせつ 副 ふく 目標 もくひょう 全 すべ 真 しん 場合 ばあい 限 かぎ 副 ふく 目標 もくひょう 真 しん 後方 こうほう 連接 れんせつ 副 ふく 目標 もくひょう 真 しん 場合 ばあい 存在 そんざい 別 べつ 解 かい 用意 ようい 非 ひ 決定 けってい 性 せい 述語 じゅつご 副 ふく 目標 もくひょう 見 み 解 かい 決定 けってい 権 けん 外部 がいぶ
非 ひ 決定 けってい 性 せい 導出 どうしゅつ 過程 かてい 取 と 分 わ 一体化 いったいか Prolog プログラムの制御 せいぎょ 根幹 こんかん 非 ひ 決定 けってい 性 せい 述語 じゅつご 実行 じっこう 時 じ 見 み 論理 ろんり 変数 へんすう 束縛 そくばく 解放 かいほう 再 さい 束縛 そくばく 遷移 せんい 一度 いちど 束縛 そくばく 別 べつ 再度 さいど 束縛 そくばく 好 この 見方 みかた
双方向 そうほうこう 性 せい 述語 じゅつご 実行 じっこう 場合 ばあい 返 がえ 値 ち 真 しん 偽 にせ 代 か 引数 ひきすう 内 ない 変数 へんすう 値 ね 授受 じゅじゅ 終始 しゅうし 入力 にゅうりょく 使 つか 変数 へんすう 出力 しゅつりょく 出力 しゅつりょく 使 つか 変数 へんすう 入力 にゅうりょく 使 つか 述語 じゅつご 性質 せいしつ 双方向 そうほうこう 性 せい 多 おお 場合 ばあい 双方向 そうほうこう 性 せい 持 も 述語 じゅつご 自体 じたい 多義 たぎ 性 せい 持 も 例 たと append という3引数 ひきすう 述語 じゅつご 第 だい 一 いち 引数 ひきすう 第 だい 二 に 引数 ひきすう 具体 ぐたい 的 てき 来 き 呼 よ 時 とき 結合 けつごう 意味 いみ 第 だい 三 さん 引数 ひきすう 第 だい 一 いち 引数 ひきすう 第 だい 二 に 引数 ひきすう 変数 へんすう 状態 じょうたい 呼 よ 場合 ばあい 意味 いみ 分解 ぶんかい 既 すで 存在 そんざい 結合 けつごう 存在 そんざい 考 かんが 結合 けつごう 組 く 合 あ 結合 けつごう 示 しめ 解釈 かいしゃく
このような、双方向 そうほうこう 性 せい Prolog の述語 じゅつご 自 みずか 的 てき 開示 かいじ 能力 のうりょく 持 も 示 しめ 捉 とら 性質 せいしつ 含 ふく 論理 ろんり 型 がた 言語 げんご 持 も 際立 きわだ 特徴 とくちょう 作成 さくせい 時 じ 検証 けんしょう 各 かく 段階 だんかい 対 たい 見通 みとお 向上 こうじょう
プログラマは引数 ひきすう 単一化 たんいつか 再帰 さいき 失敗 しっぱい 駆動 くどう 等 とう 選択 せんたく 非 ひ 決定 けってい 性 せい 双方向 そうほうこう 性 せい 特長 とくちょう 限 かぎ 生 い 配慮 はいりょ 述語 じゅつご 骨格 こっかく 決 き 進 すす 特長 とくちょう 性質 せいしつ 複 ふく 合 あわ 場合 ばあい 相当 そうとう 複雑 ふくざつ 制御 せいぎょ 上 じょう 相反 あいはん 部分 ぶぶん 多々 たた Prolog では、述語 じゅつご 論理 ろんり 逸脱 いつだつ 計算 けいさん 量 りょう 資源 しげん 量 りょう 制御 せいぎょ 調整 ちょうせい 当 あ 述語 じゅつご !」（カット）を導入 どうにゅう 問題 もんだい 対処 たいしょ Prolog プログラミングの難 むずか 調整 ちょうせい 部分 ぶぶん 集中 しゅうちゅう
Prolog の性格 せいかく 上 じょう 歴史 れきし 定理 ていり 自動 じどう 証明 しょうめい 研究 けんきゅう 大 おお 関係 かんけい 年 ねん ジャック・エルブラン は自動 じどう 定理 ていり 証明 しょうめい 数理 すうり 論 ろん 理学 りがく 上 うえ 基本 きほん 定理 ていり エルブランの定理 ていり を発表 はっぴょう 論文 ろんぶん Prolog で必須 ひっす 単一化 たんいつか 含 ふく [ 3]
1950年代 ねんだい 以降 いこう 計算 けいさん 機上 きじょう 定理 ていり 証明 しょうめい 研究 けんきゅう 活発 かっぱつ ギルモアのアルゴリズム (1960)やデービス・パトナムのアルゴリズム (1958,1960) 、プラウィツによる定理 ていり 証明 しょうめい 単一化 たんいつか 導入 どうにゅう 経 へ 年 ねん 導出 どうしゅつ 原理 げんり 年代 ねんだい 後半 こうはん 消去 しょうきょ 証明 しょうめい 手続 てつづ 成果 せいか 結実 けつじつ 期 き 迎 むか 数 すう 年 ねん 後 ご 年 ねん マルセイユ大学 だいがく のアラン・カルメラウアーとフィリップ・ルーセルのグループは自動 じどう 定理 ていり 証明 しょうめい フランス語 ふらんすご 自然 しぜん 言語 げんご 解析 かいせき 組 く 合 あ 自然 しぜん 言語 げんご 対話 たいわ 作成 さくせい 際 さい 自然 しぜん 言語 げんご 解析 かいせき 自動 じどう 定理 ていり 証明 しょうめい 共通 きょうつう 論理 ろんり 式 しき 枠組 わくぐ 構築 こうちく 気 き 付 つ 論理 ろんり 式 しき 実行 じっこう 最初 さいしょ 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
彼 かれ 理論 りろん 的 てき 助言 じょげん 与 あた エジンバラ大学 だいがく のロバート・コワルスキとデービッド・H・D・ウォレン[ 注 ちゅう ] 汎用 はんよう 機 き DECsystem10 上 うえ 大学 だいがく 異 こと 処理 しょり 系 けい 作 つく 上 あ 後 のち DEC-10 Prolog と呼 よ 標準 ひょうじゅん 規格 きかく 含 ふく 今日 きょう 動作 どうさ 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 ).
コワルスキはその後 ご インペリアル・カレッジ・ロンドン に移 うつ 年 ねん 集大成 しゅうたいせい Logic for Problem Solving 」を著 あらわ 後 ご 言語 げんご 論理 ろんり 研究 けんきゅう 決定的 けっていてき 影響 えいきょう 与 あた
コワルスキの活動 かつどう DEC-10 Prolog の存在 そんざい 英国 えいこく Prolog 研究 けんきゅう 中心 ちゅうしん 地 ち エジンバラ大学 だいがく のW・F・クロックシン[ 注 ちゅう ] [ 注 ちゅう ] 著 しる Programming in Prolog 」は長 なが Prolog のバイブル本 ほん 利用 りよう 大学 だいがく 転 てん 年 ねん Prolog の仮想 かそう Warren's Abstract Machine （英語 えいご 版 ばん 発表 はっぴょう 後 のち Prolog 処理 しょり 系 けい 実装 じっそう 一旦 いったん C言語 げんご などでこの仮想 かそう 実装 じっそう 上 うえ Prolog のソースコードをこのマシンコードに変換 へんかん 用意 ようい 手順 てじゅん 踏 ふ 開発 かいはつ 簡素 かんそ 化 か 実装 じっそう 上 じょう 標準 ひょうじゅん 化 か 図 はか 普通 ふつう 日本 にっぽん 新世代コンピュ しんせだいこんぴゅ タ技術開発機構 たぎじゅつかいはつきこう Prolog マシン PSI は1987〜1988年 ねん 頃 ごろ 開発 かいはつ 採用 さいよう 後 ご 開発 かいはつ Prolog 処理 しょり 系 けい 多 おお 方式 ほうしき 従 したが
1976年 ねん 留学 りゅうがく 古川 ふるかわ 康一 やすいち Prolog 処理 しょり 系 けい 見 み 帰国 きこく 時 じ 電子技術総合研究所 でんしぎじゅつそうごうけんきゅうしょ 持 も 帰 かえ [ 6] 当時 とうじ 電子 でんし 技術 ぎじゅつ 総合 そうごう 研究所 けんきゅうじょ 推論 すいろん 機構 きこう 研究 けんきゅう 室長 しつちょう 渕 ふち 一博 かずひろ 解析 かいせき Prolog 処理 しょり 系 けい 走 はし 解 と 作成 さくせい 論理 ろんり 対 たい 理解 りかい 深 ふか [ 6]
1978年 ねん 留学 りゅうがく 中 ちゅう 中島 なかじま 秀之 ひでゆき 情報処理 じょうほうしょり 誌 し 紹介 しょうかい 記事 きじ 寄稿 きこう Prolog は日本 にっぽん 広 ひろ 知 し
新世代コンピュ しんせだいこんぴゅ タ技術開発機構 たぎじゅつかいはつきこう Prolog [ 編集 へんしゅう ] 1970年代 ねんだい 終 おわ 頃 ごろ 日本 にっぽん 通産省 つうさんしょう 電子技術総合研究所 でんしぎじゅつそうごうけんきゅうしょ 渕 ふち 一博 かずひろ 中心 ちゅうしん 論理 ろんり 重要 じゅうよう 性 せい 認識 にんしき 日本 にっぽん 技術 ぎじゅつ 基礎 きそ 技術 ぎじゅつ 取 と 上 あ 提案 ていあん 最終 さいしゅう 的 てき 年代 ねんだい 新世代コンピュ しんせだいこんぴゅ タ技術開発機構 たぎじゅつかいはつきこう 発足 ほっそく 活動 かつどう 総額 そうがく 約 やく 億 おく 円 えん 国家 こっか 予算 よさん 約束 やくそく 年 ねん 新世代コンピュ しんせだいこんぴゅ タ技術開発機構 たぎじゅつかいはつきこう ICOT 活動 かつどう 開始 かいし Prolog を含 ふく 論理 ろんり 型 がた 言語 げんご 研究 けんきゅう 核言語 かくげんご 位置 いち 世界 せかい 的 てき 注目 ちゅうもく 浴 あ 約 やく 年間 ねんかん 研究 けんきゅう 活動 かつどう 中 ちゅう Prolog と論理 ろんり 研究 けんきゅう 急激 きゅうげき 深化 しんか 実際 じっさい 年 ねん 年間 ねんかん Prolog をメインテーマにした日本語 にほんご 書籍 しょせき 約 やく 冊 さつ 発刊 はっかん 研究 けんきゅう 員 いん 積極 せっきょく 的 てき 啓蒙 けいもう 努 つと 講習 こうしゅう 会 かい 年 とし 一 いち 度 ど 開催 かいさい ICOT が主催 しゅさい 年 ねん 頃 ごろ 若 わか 研究 けんきゅう 者 しゃ 達 たち 刺激 しげき 研究 けんきゅう 活動 かつどう 前半 ぜんはん 期間 きかん 論理 ろんり 型 がた 言語 げんご 実用 じつよう 性 せい 証明 しょうめい Prolog マシン設計 せっけい 三菱電機 みつびしでんき 沖電気 おきでんき 製作 せいさく ICOT の他 た 大学 だいがく 等 とう 研究 けんきゅう 機関 きかん 配布 はいふ 個人 こじん 用 よう 逐次 ちくじ 推論 すいろん PSI の機械 きかい 語 ご KL0 は単一化 たんいつか Prolog の基本 きほん 的 てき 特徴 とくちょう 完全 かんぜん 備 そな 制御 せいぎょ 基礎 きそ SIMPOS 設計 せっけい 記述 きじゅつ Prolog にオブジェクト指向 しこう 取 と 入 い ESP [ 注 ちゅう ] 近山 ちかやま 隆 たかし 設計 せっけい 使 つか 多重 たじゅう 継承 けいしょう 特徴 とくちょう 当時 とうじ 先鋭 せんえい 指向 しこう 言語 げんご 後 のち 化 か 不備 ふび 指摘 してき 今日 きょう 話題 わだい 記述 きじゅつ 課題 かだい 通 つう 論理 ろんり 型 がた 言語 げんご 指向 しこう 言語 げんご 的 てき 要素 ようそ 加 くわ 可読 かどく 性 せい 高 たか 管理 かんり 確認 かくにん 反面 はんめん Prolog のみでオペレーティングシステム を完全 かんぜん 記述 きじゅつ 絶好 ぜっこう 機会 きかい 逸 いっ 確 たし 前提 ぜんてい 利用 りよう 言語 げんご 書 か 直 なお 開発 かいはつ 普及 ふきゅう 起爆 きばく 剤 ざい 後 のち 述 の 標準 ひょうじゅん 規格 きかく 仕様 しよう 採用 さいよう 否決 ひけつ 年 ねん 頃 ごろ 以降 いこう 利用 りよう
ここまで述 の ICOT によって持 も 上 あ 言語 げんご Prolog との印象 いんしょう 強 つよ Prolog というプログラミング言語 げんご 見 み ICOT の影響 えいきょう 実 じつ 限定 げんてい 的 てき 淵 ふち 所長 しょちょう ICOT の主 しゅ 研究 けんきゅう 並列 へいれつ 論理 ろんり 型 がた 言語 げんご 研究 けんきゅう 後半 こうはん Prolog そのものからは離 はな 行 い 使用 しよう 電子 でんし 基盤 きばん 利用 りよう 並列 へいれつ 推論 すいろん 製作 せいさく Guarded Horn Clauses 基 もと 並列 へいれつ 演算 えんざん 処理 しょり 追加 ついか KL1 が設計 せっけい 環境 かんきょう 依存 いぞん 形 かたち 並列 へいれつ 論理 ろんり 言語 げんご KL1 は知識 ちしき 全般 ぜんぱん 研究 けんきゅう 利用 りよう SIMPOS を使 つか 研究 けんきゅう 続 つづ 割 わ 当 あ 研究 けんきゅう 員 いん 数 かず 極 きわ 少 すく
ICOT の活動 かつどう 総括 そうかつ 知識 ちしき 各 かく 課題 かだい 準備 じゅんび 不足 ふそく 未 み 消化 しょうか 指摘 してき 向 む 強 つよ Prolog から見 み 前半 ぜんはん 期 き 活動 かつどう 今日 きょう 語 かた 少 すく 極 きわ 充実 じゅうじつ
ICOT の活動 かつどう 盛期 せいき 年 ねん 京都大学 きょうとだいがく 学生 がくせい 名 めい [ 7] 研究 けんきゅう 課題 かだい 製作 せいさく Prolog-KABA 性能 せいのう 高 たか 記述 きじゅつ 高速 こうそく 性 せい 世界 せかい 驚 おどろ 処理 しょり 系 けい MS-DOS 上 うえ 製品 せいひん 化 か Prolog の普及 ふきゅう 大 おお 貢献 こうけん Successful pop や末尾 まつび 再帰 さいき 最適 さいてき 化 か 高 たか 安定 あんてい 性能 せいのう 黎明 れいめい 期 き 上 じょう 基礎 きそ 言語 げんご 展開 てんかい 期待 きたい 整数 せいすう 持 も 浮動 ふどう 小数点 しょうすうてん 数 すう 扱 あつか 仕様 しよう 分野 ぶんや 展開 てんかい 起 お 点 てん 記述 きじゅつ 簡単 かんたん 拡張 かくちょう 点 てん 裏目 うらめ 出 で 結果 けっか 仕様 しよう 乏 まず 日本 にっぽん 知識 ちしき 水準 すいじゅん 間 あいだ 横 よこ 分水嶺 ぶんすいれい 越 こ 原因 げんいん 一 ひと
年代 ねんだい 標準 ひょうじゅん 規格 きかく [ 編集 へんしゅう ] 1990年代 ねんだい 入 はい 制約 せいやく 論理 ろんり 注目 ちゅうもく 処理 しょり 系 けい 多数 たすう 誕生 たんじょう Prolog から見 み 引数 ひきすう 論理 ろんり 変数 へんすう 間 あいだ 関係 かんけい 制約 せいやく 記述 きじゅつ 可能 かのう 拡張 かくちょう 制約 せいやく 論理 ろんり 型 がた 言語 げんご 変数 へんすう 評価 ひょうか 遅延 ちえん 実行 じっこう 持 も 込 こ 必要 ひつよう 連立 れんりつ 方程式 ほうていしき 多 おお 課題 かだい Prolog より記述 きじゅつ 柔軟 じゅうなん Prolog の組 くみ 込 こみ 述語 じゅつご 引数 ひきすう 変数 へんすう 渡 わた 多 おお Prolog プログラマは変数 へんすう 具体 ぐたい 化 か 副 ふく 目標 もくひょう 記述 きじゅつ 順序 じゅんじょ 気 き 配 くば 必要 ひつよう 結果 けっか 逐次 ちくじ 性 せい 生 しょう 制約 せいやく 論理 ろんり 後 のち 変数 へんすう 具体 ぐたい 化 か 検査 けんさ 変数 へんすう 間 あいだ 制約 せいやく 記述 きじゅつ 逐次 ちくじ 性 せい 拘束 こうそく 解決 かいけつ 通過 つうか 実 じつ 制約 せいやく 見 み 自然 しぜん 拡張 かくちょう Prolog の単一化 たんいつか 制約 せいやく 論理 ろんり 制約 せいやく =」のみに限定 げんてい 解釈 かいしゃく 簡素 かんそ 逐次 ちくじ 的 てき 性格 せいかく 強 つよ 持 も Prolog の処理 しょり 系 けい 慣 な 利用 りよう 者 しゃ 制約 せいやく 論理 ろんり 述語 じゅつご 中 ちゅう 更 さら 変数 へんすう 制約 せいやく 宣言 せんげん 追加 ついか 負担 ふたん 受 う 入 い 言 い 難 がた 制約 せいやく 論理 ろんり 処理 しょり 系 けい Prolog のそれに置 お 換 か 気配 けはい 年 ねん 月 がつ 現在 げんざい
ISO の標準 ひょうじゅん 化 か 作業 さぎょう 年 ねん 頃 ごろ 作業 さぎょう 委員 いいん 会 かい [ 8] 作 つく 日本 にっぽん 委員 いいん 情報処理 じょうほうしょり 学会 がっかい 名 めい 加 くわ 年 ねん ISO標準 ひょうじゅん 規格 きかく がISO/IEC 13211-1 Prolog-Part 1: General Coreとして制定 せいてい 年 ねん 仕様 しよう 追加 ついか 規格 きかく 化 か 仕様 しよう 日本 にっぽん 委員 いいん 作成 さくせい 以 もっ 標準 ひょうじゅん 案 あん 出 だ 否決 ひけつ
ISO標準 ひょうじゅん 規格 きかく 仕様 しよう DEC-10Prolog を基調 きちょう 既 すで 一家 いっか Quintus Prolog など有力 ゆうりょく 主 しゅ 学者 がくしゃ 主体 しゅたい 日本 にっぽん 委員 いいん 参加 さんか 作成 さくせい 規格 きかく 現在 げんざい 処理 しょり 系 けい 製作 せいさく 者 しゃ 指針 ししん 与 あた 大 おお 逸脱 いつだつ 心理 しんり 的 てき 妨 さまた 役割 やくわり 果 は 組 くみ 込 こみ 述語 じゅつご 個々 ここ 仕様 しよう 意向 いこう 強 つよ 反映 はんえい 全体 ぜんたい 最初 さいしょ 述 の 論理 ろんり 学 がく 的 てき 立場 たちば 尊重 そんちょう 保守 ほしゅ 的 てき 極 きわ 小 ちい 仕様 しよう 多 おお Prolog 処理 しょり 系 けい 規格 きかく 述語 じゅつご 搭載 とうさい 独自 どくじ 拡張 かくちょう 部分 ぶぶん 修正 しゅうせい 削除 さくじょ 消極 しょうきょく 的 てき 結果 けっか 個々 ここ 処理 しょり 系 けい 互換 ごかん 性 せい 乏 まず 残 のこ Prolog の弱点 じゃくてん 認識 にんしき
JIS規格 きかく 一旦 いったん 年 ねん 標題 ひょうだい 言語 げんご 第 だい 部 ぶ 基本 きほん 部 ぶ 要約 ようやく 発行 はっこう 年 ねん 月 がつ 何 なん 実効 じっこう 見 み 無 な 周知 しゅうち 目的 もくてき 終了 しゅうりょう 廃止 はいし
日本 にっぽん ICOT の活動 かつどう 時期 じき 年代 ねんだい 前半 ぜんはん 掛 か 人工 じんこう 知能 ちのう 時期 じき 人工 じんこう 知能 ちのう 研究 けんきゅう 期待 きたい 時期 じき 再 ふたた 異様 いよう 高 たか LISP マシンによる医療 いりょう 情報 じょうほう 成果 せいか 人工 じんこう 知能 ちのう 研究 けんきゅう 成果 せいか 一部 いちぶ 情報処理 じょうほうしょり 於 お 利用 りよう 可能 かのう 夢 ゆめ 抱 いだ 評価 ひょうか 中 なか Prolog は人工 じんこう 知能 ちのう 言語 げんご 的 てき 位置 いち 期待 きたい 知識 ちしき 情報処理 じょうほうしょり 水準 すいじゅん 言語 げんご 基礎 きそ 上側 うわがわ 築 きず 意味 いみ 手 て 取 と 早 ばや 利用 りよう 可能 かのう 人工 じんこう 知能 ちのう 技術 ぎじゅつ 選別 せんべつ 支 ささ 存在 そんざい 養成 ようせい 教育 きょういく 必要 ひつよう Prolog はその中心 ちゅうしん 存在 そんざい 日本 にっぽん 例外 れいがい 日本 にっぽん 以外 いがい 国 くに 特 とく Prolog の名著 めいちょ 年代 ねんだい 前半 ぜんはん 刊行 かんこう ICOT の活動 かつどう 若干 じゃっかん 時期 じき 社会 しゃかい 的 てき 人工 じんこう 知能 ちのう 向 む 言語 げんご Prolog に大 おお 期待 きたい 寄 よ 証 あか 分野 ぶんや 広範囲 こうはんい 応用 おうよう 可能 かのう 基礎 きそ 技術 ぎじゅつ 低 てい 水準 すいじゅん 分野 ぶんや 適用 てきよう 試 こころ 分野 ぶんや Prolog 言語 げんご 要請 ようせい 見 み 終 おわ
機械 きかい 翻訳 ほんやく 自然 しぜん 言語 げんご 処理 しょり 人工 じんこう 知能 ちのう 一翼 いちよく 担 にな 分野 ぶんや 歴史 れきし 的 てき 経緯 けいい 人工 じんこう 知能 ちのう 以前 いぜん 言語 げんご 最 もっと 期待 きたい 掛 か 分野 ぶんや 左 ひだり 再帰 さいき 問題 もんだい 回避 かいひ 解析 かいせき 明解 めいかい 殺 そ 句 く 構造 こうぞう 文法 ぶんぽう 適用 てきよう Prolog が得意 とくい 句 く 構造 こうぞう 分解 ぶんかい 意味 いみ 相当 そうとう 形成 けいせい 他 ほか 極 きわ 膨大 ぼうだい 辞書 じしょ 構造 こうぞう 体 たい 定義 ていぎ 必要 ひつよう 展望 てんぼう 辞書 じしょ 作成 さくせい Prolog とは直接 ちょくせつ 関係 かんけい 次第 しだい Prolog は句 く 構造 こうぞう 文法 ぶんぽう 前線 ぜんせん 後退 こうたい 統計 とうけい 的 てき 言語 げんご 処理 しょり 単一化 たんいつか 等 とう 多 おお 計算 けいさん 量 りょう 費 つい Prolog は大量 たいりょう 扱 あつか 不向 ふむ 利用 りよう 自然 しぜん 言語 げんご 処理 しょり 多 おお Prolog を用 もち 解説 かいせつ 関 かか 期待 きたい 大 おお 割 わり 実務 じつむ 的 てき 表面 ひょうめん 現 あらわ 成果 せいか 社 しゃ ワトソン 程度 ていど 自然 しぜん 言語 げんご 処理 しょり Prolog 評価 ひょうか 足 あし 引 ひ 張 ぱ 傾向 けいこう
日本 にっぽん ICOT 解散 かいさん 後 ご 数 すう 年 ねん 経 へ 論理 ろんり Prolog は急激 きゅうげき 下火 したび 先 さき 成果 せいか 完成 かんせい 研究 けんきゅう 成果 せいか 範囲 はんい 越 こ 難 むずか 歴史 れきし 的 てき 言語 げんご 論理 ろんり 学 がく 逸脱 いつだつ 厳 きび 制限 せいげん 自由 じゆう 言語 げんご 発展 はってん 展開 てんかい 困難 こんなん 見 み 研究 けんきゅう 者 しゃ 技術 ぎじゅつ 者 しゃ 離 はな 人工 じんこう 知能 ちのう 去 さ 行 い 企業 きぎょう 等 とう 続 つづ 研究 けんきゅう 開発 かいはつ 発表 はっぴょう 機会 きかい Prolog 産業 さんぎょう 応用 おうよう 限定 げんてい 人々 ひとびと 目 め Prolog の成果 せいか 触 ふ 極端 きょくたん 少 すく ICOT の多大 ただい 研究 けんきゅう 成果 せいか 上 じょう 閲覧 えつらん 可能 かのう 状態 じょうたい 置 お Prolog 言語 げんご 処理 しょり 系 けい 時代 じだい 技術 ぎじゅつ 流 なが 乗 の 初心者 しょしんしゃ 初 はつ 学者 がくしゃ 利用 りよう 上 じょう 情報 じょうほう 他 た 有力 ゆうりょく 言語 げんご 比 くら 少 ずく 新 あたら 利用 りよう 者 しゃ 惹 ひ Microsoft Windows 一般 いっぱん 普及 ふきゅう 始 はじ 初心者 しょしんしゃ 教育 きょういく 部品 ぶひん 展開 てんかい 題材 だいざい 適 てき 指向 しこう 言語 げんご 人気 にんき 集中 しゅうちゅう Prolog は動作 どうさ 遅 おそ 外 はず 言語 げんご 持 も 世紀 せいき 入 はい Prolog がクラス概念 がいねん 持 も 社 しゃ .NET アーキテクチュアの共通 きょうつう 言語 げんご 基盤 きばん 対象 たいしょう 言語 げんご 外 はず 傾向 けいこう 拍車 はくしゃ 枯 か 言語 げんご 含 ふく 化石 かせき 言語 げんご 揶揄 やゆ 至 いた
盛時 せいじ 勢 いきお 失 うしな Prolog は各 かく 教育 きょういく 機関 きかん 主 しゅ 論理 ろんり 学 がく 教材 きょうざい 利用 りよう 続 つづ 今日 きょう 数 すう 万 まん 人 にん 人 ひと Prolog の講座 こうざ 受講 じゅこう 実務 じつむ 的 てき 利用 りよう 機会 きかい 少 すく 関 かか 素養 そよう 持 も 人 ひと 大量 たいりょう 存在 そんざい 特異 とくい 位置 いち 言語 げんご 多 おお 言語 げんご 言語 げんご 上 じょう 制作 せいさく 難 なん 度 ど 高 たか 学習 がくしゅう 課題 かだい 一 ひと 採用 さいよう 結果 けっか 理解 りかい 増加 ぞうか 傾向 けいこう
2011年 ねん 夏 なつ [ 注 ちゅう ] 著 ちょ 言語 げんご 世界 せかい 出版 しゅっぱん 言語 げんご 一 ひと Prolog が紹介 しょうかい 多 おお 人々 ひとびと 関心 かんしん 呼 よ 起 お 言語 げんご 突然 とつぜん 息 いき 吹 ふ 返 かえ [ 注 ちゅう ] 著 ちょ 抽象 ちゅうしょう 設計 せっけい 翻訳 ほんやく 述語 じゅつご 論理 ろんり 基礎 きそ 持 も 形式 けいしき 記述 きじゅつ 言語 げんご alloy が注目 ちゅうもく Prolog に極 きわ 親近 しんきん 領域 りょういき 議論 ぎろん 活発 かっぱつ
2012年 ねん [ 注 ちゅう ] 著 ちょ Prolog Programming for Artificial Intelligence 」の第 だい 四 よん 版 はん 年 ねん 刊行 かんこう 人々 ひとびと Prolog は今 いま 活火山 かっかざん 的 てき 存在 そんざい 印象 いんしょう 付 つ 世界 せかい 的 てき 利用 りよう 自動 じどう 生成 せいせい GeneXus が Prolog によって書 か 他 た 利用 りよう 言語 げんご 変換 へんかん 製品 せいひん 化 か 社 しゃ 根幹 こんかん 部分 ぶぶん 言語 げんご 解析 かいせき 部分 ぶぶん 質問 しつもん 生成 せいせい 部分 ぶぶん 現在 げんざい Prolog が担 にな 次々 つぎつぎ 喧伝 けんでん 応用 おうよう 面 めん 現役 げんえき 言語 げんご 改 あらた 認識 にんしき 世界 せかい 的 てき 関数 かんすう 型 がた 言語 げんご 急激 きゅうげき 関心 かんしん 高 たか 関数 かんすう 型 がた 言語 げんご 類縁 るいえん 性 せい 高 たか 論理 ろんり 型 がた 言語 げんご 盟主 めいしゅ 人気 にんき 関数 かんすう 型 がた 言語 げんご Erlang 原 はら 像 ぞう Prolog への関心 かんしん 再 ふたた 強 つよ
2013年 ねん IBM はワトソンの商用 しょうよう 化 か 積極 せっきょく 的 てき 進 すす 研究 けんきゅう 開発 かいはつ 要員 よういん 名 めい 増強 ぞうきょう 発表 はっぴょう 年 ねん 秋 あき ソフトバンク との間 あいだ 日本語 にほんご 化 か 提携 ていけい 発表 はっぴょう 既 すで 故障 こしょう 診断 しんだん 開発 かいはつ 利用 りよう 実績 じっせき 既 すで 公開 こうかい 年 ねん 春 はる 出荷 しゅっか 予定 よてい 感情 かんじょう 認識 にんしき 中核 ちゅうかく 部 ぶ 採用 さいよう 予想 よそう 同社 どうしゃ 強 つよ 結 むす 将来 しょうらい 情報 じょうほう 受 う 取 と 強化 きょうか 変化 へんか 俄然 がぜん 興味深 きょうみぶか 問題 もんだい 浮上 ふじょう 同時 どうじ 二 ふた 跨 またが 関 かか 持 も 役割 やくわり 担 にな 注目 ちゅうもく
2021年 ねん 月 がつ 日 にち 発表 はっぴょう 位 い 指標 しひょう 検索 けんさく 数 すう 記事 きじ 数 すう 指標 しひょう 位 い 以内 いない 復帰 ふっき 年 ねん 以来 いらい 世界 せかい 的 てき 話題 わだい 性 せい 取 と 戻 もど 証 あかし 2016年 ねん 論文 ろんぶん 多 た 相 しょう 型 かた 推論 すいろん 器 き 発表 はっぴょう 話題 わだい 昨今 さっこん 型 かた 理論 りろん 一 いち 階 かい 述語 じゅつご 論理 ろんり 用 もち 型 かた 実装 じっそう 実験 じっけん 極 きわ 簡略 かんりゃく 記述 きじゅつ 出来 でき 利用 りよう 可能 かのう 性 せい
Prolog向 む 集合 しゅうごう 論 ろん 的 てき 型 がた 実用 じつよう 化 か 関数 かんすう 型 がた 言語 げんご 学会 がっかい 古 ふる 用 もち 数式 すうしき 形式 けいしき 的 てき 多 おお 処理 しょり 系 けい Prolog の基本 きほん 機能 きのう 以外 いがい 制約 せいやく 並行 へいこう 拡張 かくちょう 機能 きのう Constraint Handling Rules 各種 かくしゅ 言語 げんご 含 ふく
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 古川 ふるかわ 康一 やすいち
^ 萩野 はぎの 達也 たつや 桜川 さくらがわ 貴司 たかし 柴山 しばやま 悦哉 えつや ^ https://www.complang.tuwien.ac.at/ulrich/iso-prolog/SWI7_and_ISO ^ “Ｋ－Ｐｒｏｌｏｇ について ”. 2020年 ねん 月 がつ 10日 とおか 時点 じてん オリジナル よりアーカイブ。2021年 ねん 月 がつ 日 にち 閲覧 えつらん ^ 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
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
Alain Colmerauer , Philippe Roussel . The birth of Prolog 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 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.古川 ふるかわ 康一 やすいち 第 だい 五 ご 世代 せだい 論理 ろんり 特別 とくべつ 講演 こうえん 資料 しりょう
『プログラムの理論 りろん 研究所 けんきゅうじょ 著 ちょ 五十嵐 いがらし 滋 しげる 訳 やく 年 ねん 日本 にっぽん 協会 きょうかい
『人工 じんこう 知能 ちのう 基礎 きそ 知識 ちしき 表現 ひょうげん 理解 りかい 共著 きょうちょ 渕 ふち 一博 かずひろ 石崎 いしざき 俊 しゅん 板橋 いたばし 秀一 ひでかず 太田 おおた 耕三 こうぞう 大谷木 おおやぎ 重夫 しげお 黒川 くろかわ 利明 としあき 桜井 さくらい 彰 あきら 人 じん 佐藤 さとう 泰介 たいすけ 島田 しまだ 俊夫 としお 田中 たなか 穂積 ほづみ 田村 たむら 浩 ひろし 一郎 いちろう 溝口 みぞぐち 文雄 ふみお 元 もと 吉 よし 文雄 ふみお 山口 やまぐち 喜 き 教 きょう 横井 よこい 俊夫 としお 横山 よこやま 昌一 しょういち 訳 やく 年 ねん 代 だい 科学 かがく 社 しゃ
『日常 にちじょう 言語 げんご 論理 ろんり 学 がく 著 ちょ 公平 こうへい 珠 たま 野家 のや 啓 けい 一 いち 訳 やく 年 ねん 産業 さんぎょう 図書 としょ ISBN 4-7828-0011-8
『日本語 にほんご 文法 ぶんぽう 論理 ろんり 坂井 さかい 英寿 ひでとし 年 ねん 書房 しょぼう
『人工 じんこう 知能 ちのう 岩波 いわなみ 講座 こうざ 情報 じょうほう 科学 かがく 白井 しらい 良明 よしあき 辻井 つじい 潤一 じゅんいち 共著 きょうちょ 年 ねん 岩波書店 いわなみしょてん
『人工 じんこう 知能 ちのう 原理 げんり 研究 けんきゅう 書 しょ 著 ちょ 白井 しらい 良明 よしあき 辻井 つじい 潤一 じゅんいち 佐藤 さとう 泰介 たいすけ 訳 やく 年 ねん 日本 にっぽん 協会 きょうかい
『最適 さいてき 化 か 岩波 いわなみ 講座 こうざ 情報 じょうほう 科学 かがく 西川 にしかわ 偉 えら 一 いち 三宮 さんのみや 信夫 しのぶ 茨木 いばらぎ 俊秀 としひで 共著 きょうちょ 年 ねん 岩波書店 いわなみしょてん
『言語 げんご 工学 こうがく 人工 じんこう 知能 ちのう 長尾 ながお 真 しん 年 ねん 昭 あきら 晃 あきら 堂 どう ISBN 4-7856-3042-6
『Prologプログラミング』 W.F.Clocksin C.S.Mellish 共著 きょうちょ 中村 なかむら 克彦 かつひこ 訳 やく 年 ねん
『機械 きかい 知能 ちのう 論 ろん 人工 じんこう 知能 ちのう 志村 しむら 正道 せいどう 年 ねん 昭 あきら 晃 あきら 堂 どう ISBN 4-7856-3043-4
『Prolog』 中島 なかじま 秀之 ひでゆき 年 ねん 産業 さんぎょう 図書 としょ
『PROLOG入門 にゅうもん 後藤 ごとう 滋樹 しげき 年 ねん 社 しゃ ISBN 4-7819-0352-5
『Prolog入門 にゅうもん 太 ふとし 細 ほそ 孝 こう 鈴木 すずき 克彦 かつひこ 伊藤 いとう 佐藤 さとう 裕幸 ひろゆき 共著 きょうちょ 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-7665-0146-2
『人工 じんこう 知能 ちのう 著 ちょ 廣田 ひろた 薫 かおる 富村 とびむら 勲 くん 訳 やく 年 ねん ISBN 4-8950-1172-0
『知識 ちしき 表現 ひょうげん 中島 なかじま 秀之 ひでゆき 年 ねん 産業 さんぎょう 図書 としょ
『Prologプログラミング入門 にゅうもん 安部 あべ 憲 けん 広 こう 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02237-8
『エキスパート・システム ソフトウェア サイエンス シリーズ』 フレデリック ヘイズーロス レナルドA.ウォーターマン 編 へん 著 ちょ 中島 なかじま 秀之 ひでゆき 白井 しらい 英俊 ひでとし 田中 たなか 卓史 たかし 中川 なかがわ 裕志 ひろし 鈴木 すずき 浩之 ひろゆき 松原 まつばら 仁 ひとし 寺野 てらの 隆雄 たかお 斎藤 さいとう 康 やすし 巳 み 平賀 ひらが 譲 ゆずる 片桐 かたぎり 恭弘 やすひろ 訳 やく 年 ねん 産業 さんぎょう 図書 としょ ISBN 4-7828-5002-6
『Prologとその応用 おうよう 作成 さくせい 支援 しえん 設計 せっけい 自然 しぜん 言語 げんご 設計 せっけい 溝口 みぞぐち 文雄 ふみお 武田 たけだ 正之 まさゆき 畝 うね 見 み 達夫 たつお 溝口 みぞぐち 理一郎 りいちろう 共著 きょうちょ 年 ねん 総研 そうけん 出版 しゅっぱん ISBN 4-7952-6307-8
『人工 じんこう 知能 ちのう 世界 せかい 関心 かんしん 人 ひと 田村 たむら 隆一 りゅういち 柳原 やなぎはら 圭 けい 雄 お 唐沢 からさわ 博 ひろし 共著 きょうちょ 年 ねん 技術評論社 ぎじゅつひょうろんしゃ ISBN 4-87408-168-1
『日常 にちじょう 言語 げんご 推論 すいろん 認知 にんち 科学 かがく 選書 せんしょ 坂原 さかはら 茂 しげる 年 ねん 東京 とうきょう 大学 だいがく 出版 しゅっぱん 会 かい ISBN 4-13-013052-8
『PROLOGデータベース・システム』 D.リー 著 ちょ 安部 あべ 憲 けん 広 こう 訳 わけ 年 ねん 近代 きんだい 科学 かがく 社 しゃ ISBN 4-7649-0106-4
『Prologのソフトウェア作法 さほう 岩波 いわなみ 黒川 くろかわ 利明 としあき 年 ねん 岩波書店 いわなみしょてん ISBN 4-00-007681-7
『Prologと論理 ろんり 中村 なかむら 克彦 かつひこ 年 ねん オ お ム社 むしゃ ISBN 978-4-275-07266-5
『新 しん 世代 せだい 井田 いだ 哲雄 てつお 尾内 おない 理 さとし 紀夫 のりお 黒川 くろかわ 利明 としあき 竹内 たけうち 彰一 しょういち 外山 とやま 芳人 よしひと 渕 ふち 一博 かずひろ 共著 きょうちょ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02259-9
『micro-PROLOGプログラム コレクション 人工 じんこう 知能 ちのう 山田 やまだ 眞 しん 市 し 一 いち 年 ねん 社 しゃ ISBN 4-7819-0435-1
『知識 ちしき 入門 にゅうもん 石塚 いしづか 満 みつる 上野 うえの 春樹 はるき 大須賀 おおすが 節雄 せつお 奥野 おくの 博 ひろし 小山 こやま 照夫 てるお 白井 しらい 良明 よしあき 辻井 つじい 恭一 きょういち 速水 はやみ 悟 さとる 共著 きょうちょ 年 ねん オ お ム社 むしゃ ISBN 4-274-07287-8
『知識 ちしき 学習 がくしゅう 知識 ちしき 情報処理 じょうほうしょり 国 こく 藤 ふじ 進 すすむ 有川 ありかわ 節夫 せつお 篠原 しのはら 武 たけし 北上 きたかみ 始 はじめ 原口 はらぐち 誠 まこと 武 たけ 脇 わき 敏晃 としあき 堀 ほり 浩一 こういち 共著 きょうちょ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02262-9
『知識 ちしき 指向 しこう 言語 げんご 人工 じんこう 知能 ちのう 序曲 じょきょく 小谷 おたに 善行 よしゆき 年 ねん 技術評論社 ぎじゅつひょうろんしゃ ISBN 4-87408-827-9
『協調 きょうちょう 型 がた 計算 けいさん 分散 ぶんさん 型 がた 技法 ぎほう 道具立 どうぐだ 共著 きょうちょ 雨宮 あまみや 真人 まさと 尾内 おない 理 さとし 紀夫 のりお 高橋 たかはし 直久 なおひさ 年 ねん ISBN 4-89501-030-9
『BASICで学 まな 言語 げんご 構造 こうぞう 理解 りかい 市川 いちかわ 新 しん 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-7665-0294-9
『Prolog-KABA入門 にゅうもん 岩波 いわなみ 柴山 しばやま 悦哉 えつや 桜川 さくらがわ 貴司 たかし 萩野 はぎの 達也 たつや 共著 きょうちょ 年 ねん 岩波書店 いわなみしょてん ISBN 4-00-007687-6
『Prolog入門 にゅうもん 古川 ふるかわ 康一 やすいち 年 ねん オ お ム社 むしゃ ISBN 4-274-07308-4
『自然 しぜん 言語 げんご 基礎 きそ 理論 りろん 石川 いしかわ 彰 あきら 松本 まつもと 裕治 ゆうじ 向井 むかい 国昭 くにあき 安川 やすかわ 秀樹 ひでき 安食 あじき 敏宏 としひろ 共著 きょうちょ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02264-5
『Prolog 人工 じんこう 知能 ちのう 用 よう 言語 げんご 新田 にった 克己 かつみ 佐藤 さとう 泰介 たいすけ 共著 きょうちょ 年 ねん 昭 あきら 晃 あきら 堂 どう ISBN 978-4-7856-3601-2
『micro PROLOGはじめてのプログラミング』 ヒュー・ド・サラム 著 ちょ 倉田 くらた 和彦 かずひこ 山田 やまだ 和美 かずみ 訳 やく 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-7665-0306-6
『知識 ちしき 情報処理 じょうほうしょり 知識工学 ちしきこうがく 講座 こうざ 大須賀 おおすが 節雄 せつお 年 ねん オ お ム社 むしゃ ISBN 4-274-07321-1
『知識工学 ちしきこうがく 人工 じんこう 知能 ちのう 小林 こばやし 重信 しげのぶ 年 ねん 昭 あきら 晃 あきら 堂 どう ISBN 4-7856-3068-X
『RUN/Prolog入門 にゅうもん 活用 かつよう 述語 じゅつご 解説 かいせつ 小島 こじま 政行 まさゆき 年 ねん ISBN 978-4-8705-0034-1
『エキスパート・システム入門 にゅうもん 安部 あべ 憲 けん 広 こう 滝 たき 寛和 ひろかず 共著 きょうちょ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02297-1
『エキスパートシステム --知識工学 ちしきこうがく 応用 おうよう 上野 うえの 晴樹 はるき 年 ねん オ お ム社 むしゃ ISBN 4-274-07318-1
『エキスパート・システム 基礎 きそ 概念 がいねん 実例 じつれい 共著 きょうちょ 太 ふとし 原 はら 育夫 いくお 訳 やく 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-7665-0312-0
『知識 ちしき 表現 ひょうげん 利用 りよう 知識工学 ちしきこうがく 講座 こうざ 上野 うえの 春樹 はるき 小山 こやま 照夫 てるお 岡本 おかもと 敏雄 としお 松尾 まつお 文雄 ふみお 石塚 いしづか 満 みつる 共著 きょうちょ 年 ねん オ お ム社 むしゃ ISBN 4-274-07331-9
『RUN/PROLOG ばじめての人工 じんこう 知能 ちのう 言語 げんご 斎藤 さいとう 孝 たかし 年 ねん 出版 しゅっぱん ISBN 4-8337-8511-0
『論理 ろんり 問題 もんだい 解法 かいほう 入門 にゅうもん 情報処理 じょうほうしょり 著 ちょ 浦 うら 昭二 しょうじ 山田 やまだ 眞 しん 市 し 菊池 きくち 光昭 みつあき 桑野 くわの 龍夫 たつお 訳 やく 年 ねん 培風館 ばいふうかん ISBN 4-563-00788-9
『知識 ちしき 獲得 かくとく 学習 がくしゅう 知識工学 ちしきこうがく 講座 こうざ 大須賀 おおすが 節雄 せつお 佐伯 さえき 胖 ゆたか 小橋 こはし 康章 やすあき 大槻 おおつき 説 せつ 北橋 きたはし 忠宏 ただひろ 田中 たなか 譲 ゆずる 篠原 しのはら 武 たけし 宮原 みやはら 哲 あきら 浩 ひろし 原口 はらぐち 誠 まこと 共著 きょうちょ 年 ねん オ お ム社 むしゃ ISBN 4-274-07346-7
『Prologプログラミング入門 にゅうもん 用 もち 徹 てっ 年 ねん 工学 こうがく 図書 としょ 株式会社 かぶしきがいしゃ ISBN 4-7692-0163-X
『人工 じんこう 知能 ちのう 判断 はんだん 推論 すいろん 秋田 あきた 輿 こし 一郎 いちろう 年 ねん 電気 でんき 書院 しょいん ISBN 4-485-57102-5
『Prologランニングブック RUN/Prolog演習 えんしゅう 上 じょう 横井 よこい 与次郎 よじろう 年 ねん 技術 ぎじゅつ 社 しゃ ISBN 4-8443-0180-2
『Prologランニングブック RUN/Prolog演習 えんしゅう 下 か 横井 よこい 与次郎 よじろう 年 ねん 技術 ぎじゅつ 社 しゃ ISBN 4-8443-0185-3
『AI入門 にゅうもん 矢田 やた 光治 こうじ 年 ねん オ お ム社 むしゃ ISBN 4-274-07355-6
『はじめてのRUN/PROLOG』 成田 なりた 佳 けい 応 おう 谷田部 やたべ 賢一 けんいち 共著 きょうちょ 年 ねん 社 しゃ ISBN 4816307001
『論理 ろんり 基礎 きそ 著 ちょ 佐藤 さとう 雅彦 まさひこ 森下 もりした 真一 しんいち 訳 やく 年 ねん 産業 さんぎょう 図書 としょ ISBN 978-4-7625-5003-4
『プログラム変換 へんかん 知識 ちしき 処理 しょり 佐藤 さとう 泰介 たいすけ 二木 ふたき 厚吉 こうきち 玉木 たまき 久夫 ひさお 二村 にむら 良彦 よしひこ 竹内 たけうち 彰一 しょういち 安村 やすむら 通 とおる 晃 あきら 吉田 よしだ 紀彦 のりひこ 共著 きょうちょ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02267-X
『並列 へいれつ 論理 ろんり 型 がた 言語 げんご 応用 おうよう 知識 ちしき 情報処理 じょうほうしょり 竹内 たけうち 彰一 しょういち 上田 うえだ 和紀 かずのり 野田 のだ 泰徳 やすのり 松本 まつもと 裕治 ゆうじ 杉本 すぎもと 勉 つとむ 田中 たなか 二郎 じろう 太田 おおた 由紀子 ゆきこ 共著 きょうちょ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02266-1
『はじめてのProlog Prolog-KABAによる人工 じんこう 知能 ちのう 舟 ふね 本 もと 奨 すすむ 年 ねん 社 しゃ ISBN 4-8163-0712-5
『TURBO PROLOGトレーニングマニュアル』 小林 こばやし 鉾 ほこ 史 し 年 ねん 出版 しゅっぱん 局 きょく ISBN 4-88063-335-6
『RUN/Prologとその応用 おうよう 杉原 すぎはら 敏夫 としお 年 ねん 工学 こうがく 図書 としょ 株式会社 かぶしきがいしゃ ISBN 4-7692-0176-1
『Prologプログラミング入門 にゅうもん 大原 おおはら 茂之 しげゆき 年 ねん オ お ム社 むしゃ ISBN 4-274-07401-3
『コンピュータ言語 げんご 進化 しんか 論 ろん 思考 しこう 増幅 ぞうふく 装置 そうち 求 もと 知的 ちてき 冒険 ぼうけん 旅 たび 共著 きょうちょ 椋 むく 田 でん 直子 なおこ 訳 やく 年 ねん 出版 しゅっぱん 局 きょく ISBN 4-87148-301-0
『Prologで学 まな 手法 しゅほう 推論 すいろん 自然 しぜん 言語 げんご 処理 しょり 』 高野 たかの 真 しん 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-7665-0110-1
『パソコンエキスパートシステム -低 てい 価格 かかく 構築 こうちく 手順 てじゅん 編集 へんしゅう 部 ぶ 編 へん 年 ねん オ お ム社 むしゃ ISBN 4-274-07409-9
『述語 じゅつご 論理 ろんり 論理 ろんり 有川 ありかわ 節夫 せつお 原口 はらぐち 誠 まこと 共著 きょうちょ 年 ねん オ お ム社 むしゃ ISBN 4-274-07386-6
『知識 ちしき 帰納的 きのうてき 推論 すいろん 知識 ちしき 処理 しょり 著 ちょ 有川 ありかわ 節夫 せつお 訳 やく 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02263-7
『知識 ちしき 推論 すいろん 岩波 いわなみ 講座 こうざ 科学 かがく 長尾 ながお 真 しん 年 ねん 岩波書店 いわなみしょてん ISBN 4-00010-354-7
『記号 きごう 処理 しょり 岩波 いわなみ 講座 こうざ 科学 かがく 後藤 ごとう 滋樹 しげき 年 ねん 岩波書店 いわなみしょてん ISBN 4-00-010348-2
『Prologの技芸 ぎげい 共著 きょうちょ 松田 まつだ 利夫 としお 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-09710-6
『TURBO PROLOG入門 にゅうもん 著 ちょ 倉谷 くらたに 直 ただし 臣 しん 酒見 さかみ 高広 たかひろ 訳 やく 年 ねん オ お ム社 むしゃ ISBN 4-274-07449-8
『知識 ちしき 知識 ちしき 処理 しょり 鈴木 すずき 浩之 ひろゆき 小野 おの 典彦 のりひこ 中島 なかじま 秀之 ひでゆき 国 こく 藤 ふじ 進 すすむ 石塚 いしづか 満 みつる 松田 まつだ 哲史 てつし 井下 いした 博史 ひろふみ 有馬 ありま 淳 あつし 佐藤 さとう 健 けん 房 ぼう 岡 おか 璋 あきら 高橋 たかはし 和子 かずこ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02268-8
『Prologプログラミング入門 にゅうもん 体験 たいけん 学習 がくしゅう 高橋 たかはし 三雄 みつお 年 ねん オ お ム社 むしゃ ISBN 4-274-07442-0
『エキスパートシステム 知識工学 ちしきこうがく 講座 こうざ 上野 うえの 晴樹 はるき 小山 こやま 照夫 てるお 共著 きょうちょ 年 ねん オ お ム社 むしゃ ISBN 4-274-07462-5
『並列 へいれつ 処理 しょり 著 ちょ 曽和 そわ 将 すすむ 容 よう 訳 やく 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-7665-0345-7
『コンピュータによる推論 すいろん 技法 ぎほう 共著 きょうちょ 川越 かわごえ 恭二 きょうじ 久野 くの 茂 しげる 前田 まえだ 康行 やすゆき 光本 みつもと 圭子 けいこ 訳 やく 年 ねん ISBN 4-89501-292-1
『TURBO Prolog プログラミング』 Information＆computing 玉井 たまい 浩 ひろし 年 ねん 社 しゃ ISBN 978-4-7819-0539-6
『新 あたら 相場 あいば 亮 あきら 井田 いだ 哲雄 てつお 大須賀 おおすが 昭彦 あきひこ 加藤 かとう 和彦 かずひこ 柴山 しばやま 悦哉 えつや 田中 たなか 二郎 じろう 富樫 とかし 敦 あつし 横内 よこうち 寛文 ひろふみ 横田 よこた 一正 かずまさ 共著 きょうちょ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02493-1
『制約 せいやく 論理 ろんり 坂井 さかい 公 こう 佐藤 さとう 洋 ひろし 裕 ひろし 田中 たなか 二郎 じろう 相場 あいば 亮 あきら 川村 かわむら 十志 じゅうし 夫 おっと 橋田 はしだ 浩一 こういち 丸山 まるやま 文宏 ふみひろ 渡辺 わたなべ 俊典 としのり 佐藤 さとう 由美子 ゆみこ 森 もり 文彦 ふみひこ 戸沢 とざわ 義夫 よしお 昭 あきら 尾 お 雅之 まさゆき 森下 もりした 真一 しんいち 共著 きょうちょ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02469-9
『自然 しぜん 言語 げんご 解析 かいせき 基礎 きそ 田中 たなか 穂積 ほづみ 年 ねん 産業 さんぎょう 図書 としょ ISBN 4-7828-5127-8
『定性 ていせい 推論 すいろん 知識 ちしき 処理 しょり 別巻 べっかん 渕 ふち 一博 かずひろ 溝口 みぞぐち 文雄 ふみお 古川 ふるかわ 康一 やすいち 安西 あんざい 祐一郎 ゆういちろう 田中 たなか 博 ひろし 西田 にしだ 豊明 とよあき 本田 ほんだ 一 いち 賀 が 開 ひらけ 一 いち 夫 おっと 堂下 どうした 修司 しゅうじ 清水 しみず 周作 しゅうさく 大木 おおき 優 ゆう 元田 もとだ 浩 ひろし 共著 きょうちょ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02468-0
『人工 じんこう 知能 ちのう 志村 しむら 正道 せいどう 年 ねん オ お ム社 むしゃ ISBN 4-274-07506-0
『人事 じんじ 情報 じょうほう 三重野 みえの 博司 ひろし 年 ねん オ お ム社 むしゃ ISBN 4-274-07521-4
『Prologプログラミング入門 にゅうもん 養成 ようせい 講座 こうざ 黒川 くろかわ 利明 としあき 田中 たなか 直之 なおゆき 共著 きょうちょ 年 ねん オ お ム社 むしゃ ISBN 4-274-12857-1
『データベースと知識 ちしき 新 あたら 情報 じょうほう 目指 めざ 大須賀 おおすが 節雄 せつお 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-274-07520-6
『わかる:-Prolog』 塚本 つかもと 龍男 たつお 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02337-4
『入門 にゅうもん 著 ちょ 北脇 きたわき 和夫 かずお 北脇 きたわき 庸子 ようこ 訳 やく 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-7665-0990-0
『TURBO Prolog エキスパート・システム設計 せっけい 入門 にゅうもん 著 ちょ 玄 げん 光男 みつお 佐々木 ささき 正 ただし 仁 じん 訳 やく 年 ねん 出版 しゅっぱん 局 きょく ISBN 4-8337-8030-5
『OA実務 じつむ 家 か 書 か 本 ほん 三菱商事 みつびししょうじ 株 かぶ 企画 きかく 部 ぶ 技術 ぎじゅつ 編 へん 年 ねん 日本 にっぽん 能率 のうりつ 協会 きょうかい ISBN 4-8207-0664-0
『法律 ほうりつ 家 か 利用 りよう 法 ほう 論理 ろんり 入門 にゅうもん 加賀山 かがやま 茂 しげる 年 ねん 有斐閣 ゆうひかく ISBN 4-641-07541-7
『Prologへの入門 にゅうもん 著 ちょ 安部 あべ 憲 けん 広 こう 訳 わけ 年 ねん 近代 きんだい 科学 かがく 社 しゃ ISBN 4-7649-0165-X
『パソコン言語 げんご 人工 じんこう 知能 ちのう 対応 たいおう 舟 ふね 本 もと 奨 すすむ 年 ねん 社 しゃ ISBN 4-8163-1035-5
『作品 さくひん 黒川 くろかわ 利明 としあき 年 ねん 岩波書店 いわなみしょてん ISBN 4-00-005403-1
『自然 しぜん 言語 げんご 理解 りかい 論理 ろんり 共著 きょうちょ 西田 にしだ 豊明 とよあき 松本 まつもと 裕治 ゆうじ 上原 うえはら 邦昭 くにあき 訳 やく 年 ねん 近代 きんだい 科学 かがく 社 しゃ ISBN 4-7649-0163-3
『Prologで作 つく 数学 すうがく 世界 せかい 集合 しゅうごう 位相 いそう 群 ぐん 飯高 いいたか 茂 しげる 年 ねん 朝倉書店 あさくらしょてん ISBN 4-254-11054-5
『Prolog詳説 しょうせつ 対話 たいわ 形式 けいしき 著 ちょ 斉藤 さいとう 重光 しげみつ 舟 ふね 本 もと 奨 すすむ 訳 やく 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-7665-1078-X
『Prologユーティリティライブラリ』 ボグダン・フィリビッチ 著 ちょ 中原 なかはら 誠 まこと 伊藤 いとう 哲郎 てつろう 訳 やく 年 ねん 海文堂 かいぶんどう 出版 しゅっぱん ISBN 4-303-71700-2
『SF的 てき 世界 せかい 盛衰 せいすい 記 き 福田 ふくだ 敏宏 としひろ 田村 たむら 三郎 さぶろう 田中 たなか 正彦 まさひこ 共著 きょうちょ 年 ねん 現代 げんだい 数学 すうがく 社 しゃ ISBN 4-7687-0195-7
『Prologによる論理 ろんり 入門 にゅうもん 小川 おがわ 束 たば 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-7665-1081-X
『人工 じんこう 知能 ちのう 知識 ちしき 共著 きょうちょ 溝口 みぞぐち 文雄 ふみお 諏訪 すわ 基 はじめ 実 じつ 近 きん 憲昭 のりあき 平井 ひらい 成 しげる 興 きょう 仁木 にき 和久 かずひさ 豊田 とよだ 順一 じゅんいち 上原 うえはら 邦昭 くにあき 河合 かわい 和久 かずひさ 山口 やまぐち 高平 たかひら 溝口 みぞぐち 理一郎 りいちろう 訳 やく 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-7665-1100-X
『情報 じょうほう 論理 ろんり 数学 すうがく 入門 にゅうもん 代数 だいすう 述語 じゅつご 論理 ろんり 小倉 おぐら 久和 ひさかず 高濱 たかはま 徹 とおる 行 ぎょう 共著 きょうちょ 年 ねん 近代 きんだい 科学 かがく 社 しゃ ISBN 4-7649-0180-3
『自然 しぜん 言語 げんご 処理 しょり 入門 にゅうもん 情報 じょうほう 電子 でんし 入門 にゅうもん 岡田 おかだ 直之 なおゆき 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02434-6
『エキスパートシステム MARUZEN Advanced Technology 電子 でんし 情報 じょうほう 通信 つうしん 編 へん 石塚 いしづか 満 みつる 小林 こばやし 重信 しげのぶ 薦 こも 田 でん 憲 けん 久 ひさ 竹垣 たけがき 盛 もり 一 いち 寺野 てらの 隆雄 たかお 山崎 やまざき 知彦 ともひこ 共著 きょうちょ 丸善 まるぜん 株式会社 かぶしきがいしゃ 年 ねん ISBN 4-621-03622-X
『人工 じんこう 知能 ちのう 概論 がいろん 荒屋 あばらや 真二 しんじ 共立 きょうりつ 出版 しゅっぱん 年 ねん ISBN 4-320-02605-5
『Prologの冒険 ぼうけん 作 つく 著 ちょ 岩谷 いわたに 宏 ひろし 訳 やく 年 ねん ISBN 4-89052-344-8
『Prologマシン』 金田 かねだ 悠紀 ゆき 夫 おっと 年 ねん 森北 もりきた 出版 しゅっぱん ISBN 4-627-80810-0
『Prolog入門 にゅうもん 図解 ずかい 江村 えむら 潤 じゅん 朗 ろう 監修 かんしゅう 瀬下 せしも 孝之 たかゆき 年 ねん オ お ム社 むしゃ ISBN 4-274-07723-3
『楽 たの 記号 きごう 世界 せかい 中島 なかじま 秀之 ひでゆき 上田 うえだ 和紀 かずのり 共著 きょうちょ 年 ねん 岩波書店 いわなみしょてん ISBN 4-00-007755-4
『Prologを楽 たの 松田 まつだ 紀之 のりゆき 年 ねん オ お ム社 むしゃ ISBN 4-2740-7749-7
『Micro-PROLOG ロジックプログラミングによる問題 もんだい 解決 かいけつ 著 ちょ 溝口 みぞぐち 文雄 ふみお 大和田 おおわだ 勇人 はやと 訳 やく 年 ねん 啓 けい 学 がく 出版 しゅっぱん ISBN 4-76651-165-4
『人工 じんこう 知能 ちのう 最前線 さいぜんせん 財務 ざいむ 共著 きょうちょ 佐伯 さえき 光彌 みつや 光村 みつむら 司 つかさ 西 にし 谷 たに 邦正 くにまさ 斎藤 さいとう 孝一 こういち 三藤 みとう 利雄 としお 訳 やく 年 ねん 学友 がくゆう 社 しゃ ISBN 4-7620-0483-9
『Prologを楽 たの 松田 まつだ 紀之 のりゆき 年 ねん オ お ム社 むしゃ ISBN 4-274-07749-7
『情報 じょうほう 学 がく 概論 がいろん 吉田 よしだ 要 かなめ 年 ねん 八千代 やちよ 出版 しゅっぱん ISBN 4-8429-0874-2
エキスパートシステムII 技術 ぎじゅつ 動向 どうこう 朝倉 あさくら 溝口 みぞぐち 理一郎 りいちろう 年 ねん 朝倉書店 あさくらしょてん ISBN 4-254-12623-9
『意思 いし 決定 けってい 支援 しえん 経営 けいえい 情報 じょうほう 飯島 いいじま 淳一 じゅんいち 年 ねん 日 にち 科技 かぎ 連 れん 出版 しゅっぱん 社 しゃ ISBN 4-8171-6162-0
『自然 しぜん 言語 げんご 情報 じょうほう 数学 すうがく 郡司 ぐんじ 隆男 たかお 年 ねん 日本 にっぽん 評論 ひょうろん 社 しゃ ISBN 4-535-60811-3
『Prolog入門 にゅうもん 例題 れいだい 演習 えんしゅう 塩野 しおの 充 たかし 年 ねん オ お ム社 むしゃ ISBN 4-274-07642-3
『Prologを学 まな 文化 ぶんか 実践 じっせん 杉崎 すぎさき 昭生 あきお 年 ねん 海文堂 かいぶんどう ISBN 4-303-71690-1
『知識 ちしき 処理 しょり 論 ろん 知識 ちしき 情報 じょうほう 萩野 はぎの 達也 たつや 年 ねん 産業 さんぎょう 図書 としょ ISBN 4-7828-5302-5
『スケジューリングとシミュレーション』 田中 たなか 克己 かつみ 石井 いしい 信明 のぶあき 共著 きょうちょ 年 ねん 社 しゃ ISBN 4-339-08357-7
『形式 けいしき 言語 げんご 有限 ゆうげん 入門 にゅうもん 例題 れいだい 中心 ちゅうしん 情報 じょうほう 離散 りさん 数学 すうがく 小倉 おぐら 久和 ひさかず 年 ねん 社 しゃ ISBN 4-339-02339-6
『AIプログラミング PrologとAI I.Bratko 著 ちょ 安部 あべ 憲 けん 広 こう 訳 わけ 年 ねん 近代 きんだい 科学 かがく 社 しゃ ISBN 4-7649-0254-0
『エージェントアプローチ 人工 じんこう 知能 ちのう 共著 きょうちょ 古川 ふるかわ 康一 やすいち 訳 やく 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02878-3
『関数 かんすう 情報 じょうほう 数学 すうがく 萩谷 はぎや 昌己 まさみ 年 ねん 日本 にっぽん 評論 ひょうろん 社 しゃ ISBN 4-535-60817-2
『自然 しぜん 言語 げんご 意味 いみ 論 ろん 論理 ろんり 赤間 あかま 世紀 せいき 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-02908-9
『形式 けいしき 言語 げんご 理論 りろん 情報 じょうほう 科学 かがく 講座 こうざ 西野 にしの 哲朗 てつろう 石坂 いしざか 裕 ひろし 毅 あつし 共著 きょうちょ 年 ねん 丸善 まるぜん 株式会社 かぶしきがいしゃ ISBN 4-621-04626-8
『人工 じんこう 知能 ちのう 基礎 きそ 情報 じょうほう 科学 かがく 講座 こうざ 西田 にしだ 豊明 とよあき 年 ねん 丸善 まるぜん 株式会社 かぶしきがいしゃ ISBN 4-621-04646-2
『新 あたら 人工 じんこう 知能 ちのう 発展 はってん 編 へん 前田 まえだ 隆 たかし 青木 あおき 文夫 ふみお 共著 きょうちょ 年 ねん オ お ム社 むしゃ ISBN 4-274-13198-X
『計算 けいさん 論理 ろんり 基 もと 推論 すいろん 論 ろん 山崎 やまざき 進 すすむ 年 ねん 社 しゃ ISBN 4-339-02373-6
『知的 ちてき 集合 しゅうごう 論理 ろんり 時代 じだい 数学 すうがく 中島 なかじま 秀之 ひでゆき 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-01645-9
『人工 じんこう 知能 ちのう 基礎 きそ 理論 りろん 赤間 あかま 世紀 せいき 年 ねん 電気 でんき 書院 しょいん ISBN 4-485-66246-2
『Interlog コンピュータ言語 げんご 吉川 よしかわ 永一 えいいち 年 ねん 東京 とうきょう 図書 としょ 出版 しゅっぱん 会 かい ISBN 4-434-03554-1
『帰納 きのう 論理 ろんり 古川 ふるかわ 康一 やすいち 尾崎 おざき 知伸 とものぶ 植野 うえの 研 けん 共著 きょうちょ 年 ねん 共立 きょうりつ 出版 しゅっぱん ISBN 4-320-12014-0
『知識 ちしき 推論 すいろん 新田 にった 克己 かつみ 年 ねん 社 しゃ ISBN 4-7819-1008-4
『法律 ほうりつ 人工 じんこう 知能 ちのう 法的 ほうてき 知識 ちしき 解明 かいめい 法的 ほうてき 推論 すいろん 実現 じつげん 吉野 よしの 一 はじめ 年 ねん 創成 そうせい 社 しゃ ISBN 4-7944-4030-8
『人工 じんこう 知能 ちのう 本 ほん 井田 いだ 真一 しんいち 松本 まつもと 一 いち 教 きょう 宮原 みやはら 哲 あきら 浩 ひろし 永井 ながい 保夫 やすお 年 ねん オ お ム社 むしゃ ISBN 4-274-20106-6
『組 く 込 こ 設計 せっけい 検証 けんしょう 組込 くみこ 動作 どうさ 使 つか 動作 どうさ 検証 けんしょう 藤倉 ふじくら 俊幸 としゆき 年 ねん 出版 しゅっぱん 社 しゃ ISBN 978-4-7898-3344-8
『言語 げんご 知識 ちしき 信念 しんねん 論理 ろんり 知 ち 科学 かがく 東条 とうじょう 敏 さとし 人工 じんこう 知能 ちのう 学会 がっかい 共著 きょうちょ 年 ねん オ お ム社 むしゃ ISBN 4-274-20211-9
『論理 ろんり 計算 けいさん 萩谷 はぎや 昌己 まさみ 西崎 にしざき 真 しん 共著 きょうちょ 年 ねん 岩波書店 いわなみしょてん ISBN 978-4-00-006191-9
『コンピュータプログラミングの概念 がいねん 技法 ぎほう 共著 きょうちょ 羽 わ 永 えい 洋 ひろし 訳 やく 年 ねん 翔 しょう 泳 およげ 社 しゃ ISBN 978-4-7981-1346-3
『On Lisp』 Paul Graham 著 ちょ 野田 のだ 開 ひらく 訳 やく 年 ねん オ お ム社 むしゃ ISBN 978-4-274-06637-5
『数理 すうり 論 ろん 理学 りがく 教科書 きょうかしょ 古川 ふるかわ 康一 やすいち 向井 むかい 国昭 くにあき 共著 きょうちょ 社 しゃ ISBN 978-4-339-02718-1
『新 しん 人工 じんこう 知能 ちのう 基礎 きそ 知識 ちしき 太 ふとし 原 はら 育夫 いくお 著 ちょ 年 ねん 近代 きんだい 科学 かがく 社 しゃ ISBN 978-4-7649-0356-2
『Prologで学 まな 赤間 あかま 世紀 せいき 年 ねん 工学 こうがく 社 しゃ ISBN 978-4-7775-1402-1
『メディア情報 じょうほう 学 がく 入門 にゅうもん 鈴木 すずき 昇一 しょういち 年 ねん 東京 とうきょう 図書 としょ 出版 しゅっぱん 会 かい ISBN 4862234062
『実用 じつよう 著 ちょ 松本 まつもと 宣男 のぶお 訳 やく 年 ねん 翔 しょう 泳 およげ 社 しゃ ISBN 978-4798118901
『7つの言語 げんご 世界 せかい 著 ちょ 監 かん 訳 やく 田和 たわ 数 すう 訳 やく 年 ねん オ お ム社 むしゃ ISBN 978-4-274-06857-7
『入門 にゅうもん 自然 しぜん 言語 げんご 処理 しょり 共著 きょうちょ 萩原 はぎはら 正人 まさと 中山 なかやま 敬 たかし 広 こう 水野 みずの 貴明 たかあき 訳 やく 年 ねん オ お ム社 むしゃ ISBN 978-4-87311-470-5
『アルゴリズム設計 せっけい 上 じょう 著 ちょ 平田 ひらた 富夫 とみお 訳 やく 年 ねん 丸善 まるぜん ISBN 978-4-621-08510-3
『知識 ちしき 基盤 きばん 社会 しゃかい 人工 じんこう 知能 ちのう 入門 にゅうもん 計測 けいそく 制御 せいぎょ 国 こく 藤 ふじ 進 すすむ 中田 なかた 豊久 とよひさ 羽山 はやま 徹 とおる 彩 いろどり 共著 きょうちょ 年 ねん 社 しゃ ISBN 978-4-339-03366-3
『プログラミング言語 げんご 温故知新 おんこちしん 人工 じんこう 言語 げんご 継承 けいしょう 学 まな 土屋 つちや 勝 まさる 年 ねん ISBN 978-4-87783-328-2
『イラストで学 まな 人工 じんこう 知能 ちのう 概論 がいろん 谷口 たにぐち 忠大 ただひろ 年 ねん オ お ム社 むしゃ ISBN 978-406-1538238
『数理 すうり 論理 ろんり 学 がく 合理 ごうり 的 てき 応用 おうよう 向 む 加藤 かとう 暢 とおる 高田 たかだ 司郎 しろう 新出 にいで 尚之 なおゆき 共著 きょうちょ 年 ねん 社 しゃ ISBN 978-4-339-02489-0
『知能 ちのう 物語 ものがたり 中島 なかじま 秀之 ひでゆき 著 ちょ 年 ねん 公立 こうりつ 未来 みらい 大学 だいがく 出版 しゅっぱん 会 かい 発行 はっこう 近代 きんだい 科学 かがく 社 しゃ 発売 はつばい ISBN 978-4-7649-5552-3
