論理プログラミングの基本は数理論理学のスタイルをコンピュータのプログラミングに持ち込むことにある。数学者や哲学者は論理を理論構築のツールとして選んだ。多くの問題は理論として自然に表現される。解決すべき問題とは、新たな仮説が既存の理論で説明できるかどうかを問うことと等しい。論理は問題が真か偽かを証明する方法を提供する。証明構築過程は明確であり、論理は問題に答える信頼できる方法と見なされている。論理プログラミングシステムはこの過程を自動化する。人工知能は論理プログラミングの開発に重要な影響を与えた。数理論理学適用の限界論理的手法と手続き的手法の関係という問題の答えは、手続き的手法の数学的意味(表示的意味論)と論理の数学的意味(モデル理論)は異なる、ということである。歴史.ジョン・マッカーシーは更にこう補足しており、これは最初の人工知能仮説のようである。なお、マッカーシーは現代で言われる論理プログラミングの形態にはそれほど関与していない。宣言的知識表現と手続き的知識表現Prologの登場特徴.論理と制御.問題解決.失敗による否定.知識表現.Prolog.これを宣言として読めば、以下の論理的含意に等しい:Prologの実装派生分野.並行論理プログラミング.制約論理プログラミング.高階論理プログラミング.関数論理プログラミング.述語記号と関数記号の双方をリテラルにしている。オブジェクト指向論理プログラミング.線形論理プログラミング.線形論理を扱っている。帰納論理プログラミング.帰納推論を扱っている。これまでの演繹推論とは別種になる。仮説論理プログラミング.仮説推論を扱っている。これまでの演繹推論とは別種になる。枚方自動車教習所後陽成上皇岡崎雪概要.トークネット・サービス星製薬概要.論理型言語プロキックボクシング井川ゆり子井川ゆり子(いがわゆりこ)は、日本の絵本作家、イラストレーター。略歴.武蔵野美術大学短期大学部デザイン科グラフィックデザイン専攻卒業同大学同学部専攻科デザイン専攻グラフィックデザインコース卒業来歴.個人成績.橋本勘五郎概要.元の名は「丈八」。肥後の通潤橋に携わり、東京でも幾つかの石橋の建設に参加している。種山石工の一人。生涯.代表作.