编程语言/逻辑语言

逻辑语言

逻辑编程语言，例如Prolog，声明和查询关系。这些查询如何回答取决于实现及其定理证明器，但通常采取某种统一的形式。