> Think of it as a logic search engine embedded in a general-purpose programming language, because that's what it is. I think this is the whole problem. The Pr

> Think of it as a logic search engine embedded in a general-purpose programming language, because that's what it is. I think this is the whole problem. The Prolog language is not great as a general-purpose language, and the "logic search engine" doesn't need be so closely identified with a particular language. Prolog should be a library, not a language, and not the almost sole representative of a programming paradigm.