ロジック プログラミングとは

ロジック プログラミングとして知られるコンピューター プログラミングのパラダイムは、形式論理に大きく依存しています。 論理プログラミング言語で開発されたプログラムは、論理的な方法でフォーマットされ、特定の問題領域に関する事実とルールを表すステートメントのコレクションにすぎません。 回答セット プログラミング (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 度完全に理解できるようにします。

本書の対象者

専門家、大学生、大学院生、愛好家 、趣味の愛好家、あらゆる種類のロジック プログラミングの基本的な知識や情報を超えたいと考えている人。