ロジックプログラミング - 基礎と応用
Fouad Sabry
Traduttore Kei Imano
Casa editrice: 10億人の知識があります [Japanese]
Sinossi
ロジック プログラミングとは ロジック プログラミングとして知られるコンピューター プログラミングのパラダイムは、形式論理に大きく依存しています。 論理プログラミング言語で開発されたプログラムは、論理的な方法でフォーマットされ、特定の問題領域に関する事実とルールを表すステートメントのコレクションにすぎません。 回答セット プログラミング (ASP) と Datalog プログラミング言語は、ロジック プログラミング言語の主要なファミリーに属します。 句は、次の各言語でルールを記述するための基本的な表現単位です:H?:- B1、?、Bn。 メリット (I) 次のトピックに関する洞察と検証: 第 1 章: ロジック プログラミング 第 2 章: プロローグ 第 3 章: 宣言的プログラミング 第 4 章: Horn 節 第 5 章: データログ 第 6 章: Definite 節の文法 第 7 章: 制約ロジック プログラミング 第 8 章: SLD 解決 第 9 章: アブダクティブ論理プログラミング 第 10 章: 論理プログラミングの構文とセマンティクス (II) ロジック プログラミングに関するパブリック トップの質問。 (III) 多くの分野でのロジック プログラミングの使用例の実例。 (IV) 266 の新興テクノロジーを簡潔に説明する 17 の付録 各業界でロジック プログラミングのテクノロジを 360 度完全に理解できるようにします。 本書の対象者 専門家、大学生、大学院生、愛好家 、趣味の愛好家、あらゆる種類のロジック プログラミングの基本的な知識や情報を超えたいと考えている人。
