 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.However, the term was apparently introduced by J.A.