计算逻辑

计算逻辑是使用逻辑来执行或推理计算的。它与计算机科学和工程的关系类似于数理逻辑与数学的关系以及哲学逻辑与哲学的关系。它是计算机科学中逻辑的同义词。"计算逻辑"这个术语随着2000年ACM计算逻辑论文集的成立而变得突出起来。然而，这个术语的提出要早得多，是由J.A.Robinson在1970年提出的。这个表述用在第二段，并有一个脚注，声称计算逻辑肯定是一个比'定理证明'更好的短语，因为人工智能的分支是处理如何让机器有效地做推理。1972年，爱丁堡大学的元数学组被改名为人工智能学院的"计算逻辑系"。随后，70年代初在该系工作的RobertS.Boyer和JStrotherMoore用这个词来描述他们在程序验证和自动推理方面的工作。他们还成立了计算逻辑公司。

计算逻辑也开始与逻辑编程联系在一起，因为70年代初逻辑编程的许多早期工作也发生在爱丁堡的计算逻辑系。在20世纪90年代初，它被重新用于描述欧盟基础研究项目Compulog和相关卓越网络中的逻辑编程扩展工作。KrzysztofApt是Compulog-II基础研究项目的协调人，他在2000年创立ACM计算逻辑论文集并成为其xxx任主编时重新使用并概括了这个术语。