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.

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

该刊已被国际权威数据库SCIE收录，该刊致力于发表经过严格同行评审的高质量原创文章，反映工程技术-计算机：理论方法领域的新进展、新技术、新成果，促进该领域科研交流和科研成果转化。该刊2023年影响因子为1.4，平均审稿速度为 12周，或约稿 ，近四年来没有被列入预警名单。如果您需要投稿发表服务及指导，可以联系我们的客服老师，我们专业专注服务期刊投稿协助10年，为您提供期刊投稿个性化定制服务，并且我们确保严格保密您的个人信息及稿件内容。