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 “Computational Logic” came to prominence with the founding of the ACM Transactions on Computational Logic.