Both Prolog and Haskell make memory management really hard, and without good memory management you can’t reason about the run time of software. Of course the s

Both Prolog and Haskell make memory management really hard, and without good memory management you can’t reason about the run time of software. Of course the solution is to learn a lot on the low level details of the compilers for these languages, at which point it’s not easier than imperative coding.