> expressed in a few lines in any functional programming language I don't think that performs like a proper Prolog engine on larger problem. Real Prologs work

> expressed in a few lines in any functional programming language I don't think that performs like a proper Prolog engine on larger problem. Real Prologs work by compiling to something called the WAM (Warren Abstract Machine).