prolog1PROLOG - 論理型プログラミング Prolog は, 1970年代にフランスのマルセイユ大学で生まれた 論理型プログラミング言語である. 名前の由来は Programing in logic. 現在, 普及しているものの多くはイギリスのエジンバラ大学で開発された DEC-10 Prolog が元になっている. 述語論理の特殊形であるホーン論理に基づく定理証明過程をプログラムの 実行と見なす. Prolog を学ぶために必要な記号論理学 本節では Prolog の基礎となる 記号論理学 (symbolic logic) の概要を述べる. ここでは Prolog プログラミングを学ぶために必要な部分のみを説明する. 詳しくは「記号論理学」の講義で学んでいただきたい. 命題論理 記号論理の体系の中でもっとも単純なのが 命題論理 (propositional logic) である. 1つの
