This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
There is a merge proposal with Logic in Computer Science. I oppose the merge. IMO they refer to vary different thing. Computational logic refers to the logic (i.e. the process model) for ANY computer system. So a video game or an SAP module all have computational logic, the logic that governs their behavior. Logic in computer science is a very different topic, it's actually a very broad topic, the many applications of Logic to computer science. Theorem provers, prolog, program transformations, etc. Related but not the same. You would use Logic in computer science (e.g. a theorem prover) to reason about Computational logic (e.g. validate the control flow of a transaction system matches it's specification). MadScientistX11 (talk) 19:18, 25 December 2013 (UTC)