. "Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer 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 \u201CComputational Logic\u201D came to prominence with the founding of the ACM Transactions on Computational Logic."@en .