Prolog <==> Logic Programming
What's so good about it?
Any tools for OS/2 ?
Is it portable?
How do I get started?
Let's see some examples