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. Here are some key features of "Strawberry Prolog": · 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 ... [ read more about Strawberry Prolog >> ]