Strawberry Prolog Lite Edition

Shortens the time it takes for you to develop your program.
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.

In Strawberry Prolog you have the unique possibility to define your own functions and built-in predicates. Usually in the most Prolog compilers built-in predicates are called to such predicates you cannot define alone and that is why they are defined in the system.

In Strawberry Prolog the situation is different, you can define your own built-in predicates. So what is the difference between built-in and standard predicates? You define built-in predicates with fixed types and fixed number of the arguments. When these predicates are executed then the types and the number of the arguments are checked and if it is not correct then an error message is displayed.

This compiler supports all the features of the standard (or will support them soon) but also gives many possibilities which you have not with another Prolog compiler. Our philosophy was to give you maximal freedom and let you do as you like best


Main features of Strawberry Prolog Lite Edition:

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.


What's New in This Release:

You can embed ActiveX objects in your Prolog program by the predicate embed_server. Also you can receive events from OLE servers (ActiveX objects). When your Prolog program is OLE server then by the predicate raise_event it can send events to its client program.

You can call external functions from DLL files and from OLE servers. You can call Prolog program as OLE server but for the moment you cannot call it as DLL.

A special tool called Object Browser which gives you the possibility to view the methods and properties of the OLE servers which are installed on your computer (like MS Word, Corel Draw, etc.). This will make easier the task for creating Prolog programs which are using these servers.

You can use ODBC is order to work with databases. The support of ODBC is made through OLE server ADODB.Connection.

You have support of Unicode. Also, you can use different char sets and you can change the char set in the time of program execution by the predicate char_set.

You will find some new and very powerful predicates like print_file. By this predicates and functions you can create really exiting text processing programs. For example the software of Second-Box is made entirely on Strawberry Prolog.

Strawberry Prolog now has Syntax Coloring.

Support of Object Oriented Programming (this feature is still under development).

You already have the possibility to define your own built-in predicates, functions and constants and even if you like you can specify the types of their arguments. This extension of the Prolog language is so convenient that we are sure it soon will be accepted also from the other Prolog compilers.

Global variables which give you the possibility to access their values in different places of your program. Use of global variables is so powerful that with them you can avoid the use of assert in the most cases. This innovation already is accepted from some of the competitor’s Prolog compilers.

Support of SQL servers, TCP/IP Sockets and Cookies. These innovations are important for creating Prolog CGI Scripts.

Many new predicates for work with window's messages. (Look at sample program Fractals.pro in order to see them.)

Predicate := is now working with any type of terms. (In the previous versions it was not possible to use it with open terms, which was a serious restriction.)

A new powerful cut predicate. For example, cut(1) is the same as !, cut(2) cuts more than ! and cut(0.5) cuts less than !.

Free Download ( 2.4 MB )