論理型プログラミング

事実と規則を述語論理の形で記述し、処理系が推論して答えを導くプログラム言語。Prologが代表例。手順を書く手続型言語と違い「何が成り立つか」を書く点が特徴で、人工知能の研究で使われた。

ログの出力、トランザクションの管理、セキュリティの検査のように、多くのモジュールにまたがって現れる処理（横断的関心事）を、アスペクトという単位に分けて記述し、指定した箇所に自動的に組み込むプログラミングの方式。本来の処理と横断的な処理を分けて書けるので、同じ処理の重複が減り、保守しやすくなる。

一般的な規則や前提から、論理の規則に従って個別の結論を導く推論。「すべての人間は死ぬ」「ソクラテスは人間である」から「ソクラテスは死ぬ」を導く三段論法が典型で、前提が正しければ結論も必ず正しい。新しい知識は生まれないが確実で、ルールベースのエキスパートシステムの推論に使われる。

命題を最小の単位とし、論理積、論理和、否定、含意などの論理演算子で組み合わせた命題の真偽を扱う論理の体系。真理値表を使って複合命題の真偽を調べられる。命題の内部の構造まで扱う述語論理の基礎になる。