Computational
logic, in my view, is the intersection of mathematical reasoning with
computer science. Hence I believe this topic includes areas such as
logic programming, automated reasoning, logics of programs, formal
semantics of programs, reasoning about programs (including termination
and complexity analyses), proof theory, countermodel generation and
disproof, proofs-as-types, and probably numerous other topics. I know
that some people use Logic and Computation (as in the Journal of Logic
and Computation) and various other similar phrases; I don't
think
the precise words matter too much, but I liked this phrase, and so it
has stuck (so far, anyway!). The resonance with ACM Transactions on Computational
Logic and the International
Federation for Computational Logic is
deliberate.