Both Coq and Prolog have something to do with logic, but that is where the similarities end. Other than this, they are apples and oranges. Prolog is a programm

Both Coq and Prolog have something to do with logic, but that is where the similarities end. Other than this, they are apples and oranges. Prolog is a programming language whose execution is based on certain logical principles. Coq is a functional programming language, and and extra logic layer to prove things about programs written in its programming language. If you will, Prolog uses logic at "run time", while Coq uses logic at "compile time". Different things (and very different logics).