用事实和规则描述问题并靠推理求解的范式。
别一行行教它，像给桌游写规则书：谁能走、抽到什么牌怎么应对、碰上冲突算谁赢，它当裁判照着条文自己判。
适合把条件逻辑写成程序，常用于规则判断和自动推理。
Knowledge Representation
逻辑编程常被用来把知识写成可推理的规则与事实。
Ontology
本体先定义概念和关系，逻辑编程再据此做推理。
Description Logic
两者都属于符号主义路线，强调形式化与可推理。
Constraint-satisfaction-problem
很多约束问题可改写成规则，再由它自动求解。