Strawberry Prolog

Strawberry Prolog is a dialect of the Prolog programming language. Its syntax is very close to that of ISO-Prolog but it has many extensions which are not part of the standard. The main idea of Strawberry Prolog is to be very easy to use and that is why some universities use it for their Prolog courses.

Strawberry Prolog is produced by the Institute of Mathematics and Informatics at the Bulgarian Academy of Sciences. The first version was released in 1996. The leader of the Strawberry team is Dimiter Dobrev.

The compiler can be downloaded from the Strawberry Prolog website. A restricted edition is available as freeware.

Strawberry Prolog has a unique debugger. You can watch the execution of your program in the Proof Tree window.

...
Wikipedia