Write-in for Prolog. Pure Prolog is a neat language for a bunch of applications, or would be, if wasn't unusably slow. Real Prolog is a horrible mess that's hel

Write-in for Prolog. Pure Prolog is a neat language for a bunch of applications, or would be, if wasn't unusably slow. Real Prolog is a horrible mess that's hell to debug. The biggest advantage of declarative programming is that the compiler's got more information to work with, and then Prolog throws this away with weak typing and weak moding (every predicate is nondeterministic by default).