THEORY AND PRACTICE OF LOGIC PROGRAMMING

逻辑程序设计理论与实践强调逻辑程序设计的理论与实践。 逻辑程序设计适用于人工智能和计算机科学的所有领域，并且是它们的基础。 涵盖的主题包括使用逻辑编程的AI应用程序，逻辑编程方法，系统的规范，分析和验证，归纳逻辑编程，多关系数据挖掘，自然语言处理，知识表示，非单调推理，语义Web推理， 数据库，实现和体系结构以及约束逻辑编程。

Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.