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.

Some extensions


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

Sample programs


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

This article is issued from Wikipedia - version of the 7/14/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.