在本章中，我们将聚焦逻辑编程，并探讨其在人工智能领域的应用价值。

我们早已了解，逻辑是研究正确推理准则的学科，简单来说，就是研究事物间的因果推导关系——若两个陈述为真，我们便能从中推导出第三个陈述的真伪。

逻辑编程的概念

逻辑编程由“逻辑”和“编程”两个概念结合而成，是一种编程范式。在这种范式中，问题会以事实和规则的形式转化为程序语句，并在形式逻辑系统中完成求解。和面向对象、函数式、声明式、过程式等编程范式一样，逻辑编程也是一种独特的程序设计思路。