Computational logic

Computational logic is the use of logic to perform or reason about computation . It bears a similar relationship to science science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy . It is synonymous with ” logic in computer science “.

The term “Computational Logic” came to prominence with the founding of the ACM Transactions on Computational Logic . [1] However, its first use was probably in 1972 when the Metamathematics Unit at the University of Edinburgh was renamed “The Department of Computational Logic” in the School of Artificial Intelligence. [2] The term was then used by Robert S. Boyer and J Strother Moore , who worked in the Department in the early 1970s, to describe their work and automated reasoning. They also founded Computational Logic Inc. of the same name.

The term “Computational Logic” has also come to be associated with logic programming , because much of the early workflow in logic programming in the early 1970s also took place in the Department of Computational Logic in Edinburgh. It was reused in the early 1990s to describe the workings of the European Union Comprehensive Research Project Compulog and the associated Network of Excellence. Krzysztof Apt, who was the co-ordinator of the Compulog-II Basic Research Project, succeeded in establishing the ACM Transactions on Computational Logic in 2000 and became its first Editor-in-Chief.


  1. Jump up^ http://tocl.acm.orgofficial website of ACM Transactions on Computational Logic
  2. Jump up^ Bundy’swebsite