Jump to content

Prolog/External Links

From Wikibooks, open books for an open world

Prolog Compilers

[edit | edit source]
  • Visual Prolog is a successor of the Turbo Prolog compiler created in 1980s that was the first Prolog compiler. Since that time the Prolog Development Center has been developing and improving its compiler. Currently Visual Prolog compiler is a powerful and efficient compiler that can create object files for creating standalone executables or DLLs, resolve cross references among declarations, validate predicate mode, perform powerful type checking, validate facts initialization in constructors, perform predicate resolution. Download Visual Prolog.
  • Strawberry Prolog is used mainly in education. This compiler is very close to ISO-Prolog syntax but it has many extensions which are not part from the standard. For example, in Strawberry Prolog you can find global variables, arrays, objects and many predicates which are specific only for this compiler. The main idea of Strawberry Prolog is to be very easy for use. That is why it includes Development environment, visual debugger and free Light edition. Download Strawberry Prolog.

Prolog Tutorials

[edit | edit source]

When learning Prolog, it's always a good idea to use more than one text. Viewing a subject from more than one perspective can help to clarify it. These are only some of the free Prolog tutorials out there.

Downloadables

Other texts on Prolog

[edit | edit source]
[edit | edit source]