Strawberry Prolog 2.5

Strawberry Prolog is a language of a higher level. This turns out to be an advantage and disadvantage at the same time.
Strawberry Prolog, on one hand it shortens the time it takes for you to develop your program, and on the other it may sometimes affect the efficiency.
Main features:
- The unique debug facilities. Part of them is the tool Proof Tree. In it you can see how your goal was satisfied. You can see its Proof Tree and even open its sub-branches by double clicking. We hope that you will like this possibility, especially, because you have not got it in any other Prolog compiler.
- E-mail predicates (this gives you the possibility automatically to generate letters and to manage your correspondence).
- Global variables. These are variables which are visible in the whole program, not in one clause only.
- Prolog CGI Scripts.
- Object Browser and OLE functionality.