Talk:Computational logic

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Computer science  
WikiProject icon 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.
 ???  This article has not yet received a rating on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.

Oppose merge with Logic in Computer Science[edit]

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)