Mathematicians and University students couldn't miss this wonderful Prolog compiler. Differently from what one could think, Prolog is a very modern language, probably the most used in artificial intelligence and logic programming. Try to use this compiler; it has left us astonished, for the compilation speed and the lightness of the executable programs. If you know the Prolog, surely will appreciate this product. If you don't, we advice you to give a look to the examples: it is a language quite interesting.
(the installation file of Strawberry
Prolog is on the CD given with the review)