Re : Forth and Prolog

Andreas Kochenburger <kochenburger@gmx.de> wrote in message : 
>
>I think it is.

Recently , I studied functional languages , such as Lisp , Scheme ,
and ML . Andrew Appel , the Author of Tiger language , published his
famous books
"Modern Compiler Implementation" in C , in Java , and in ML. Some of
the codes
are available in internet ( you can look at
http://www.cs.princeton.edu/~appel/...ml/project.html for the ML
version)

Andrew W. Appel is also an author of SML/NJ and published many papers
on
compiler. Optimization is one of his topics .

Now I want to give my question : Is prolog really necessary for making
better
codes ?