next up previous contents
Next: What You Should Up: Prolog and Logic Previous: Prolog and Functional

Other Logic Programming Languages

Prolog is not a pure logic programming language. It may be the best we have but there is some interest in building better languages.

As Prolog is less expressive than first order predicate calculus, a fair amount of work is going on to produce systems that permit the user to exploit the expressivity of full first order predicate logic ---and other logics too!

Paul Brna
Mon May 24 20:14:48 BST 1999