Theory And Practice Of Logic Programming（中文译名：《逻辑程序设计理论与实践》），ISSN：1471-0684，EISSN：1475-3081，是Cambridge University Press出版的国际性学术期刊，创刊于2001年，以Bimonthly形式稳定发行，2026年总发文量约39篇。该刊采用非OA开放访问，学科归属为工程技术 - 计算机：理论方法。该刊是数学、计算机软件工程领域的国际权威刊物，已被SCI（科学引文索引）、SCIE（科学引文索引扩展版）、EI（工程索引）等国际主流学术数据库收录。2026年期刊影响因子达1.3，2025年期刊CiteScore为5.7，2025年期刊自引率约15.4%，在中科院期刊分区体系中位列数学大类2区，在所属学科领域具备高学术影响力与国际认可度。Theory And Practice Of Logic Programming长期聚焦数学、计算机软件工程及相关产业的技术应用前沿，平均审稿周期>12周，或约稿，审稿流程高效稳定。在稿件录用评判中，该刊将创新性与前沿性作为核心遴选标准，重点收录能够对数学、计算机软件工程领域的落地与发展产生实质性推动价值的研究成果。
从全球发文格局来看，ItalyUSA、GERMANY (FED REP GER)、Spain、Austria、France、Australia等为核心发文国家与地区；UNIVERSITY OF CALABRIAUNIVERSITY OF POTSDAM、TECHNISCHE UNIVERSITAT WIEN、UNIVERSITY OF GENOA、UNIVERSITY OF KLAGENFURT、IMDEA SOFTWARE INST、COMPLUTENSE UNIVERSITY OF MADRID等高校与科研机构是期刊的主要发文单位。