Prolog es principalmente un lenguaje dirigido a problemas lógicos, especialmente de la IA y los campos lingüísticos. Haskell es más un lenguaje de propósito general.
Prolog es un lenguaje declarativo (lógico), lo que hace que sea más fácil indicar problemas lógicos en él. Haskell es un lenguaje funcional y, por lo tanto, se adapta mucho mejor a los problemas de cómputo.