Visual Prolog compiler 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 the 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.
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.
- Prolog programming language by faiz ul haque zeya .
- Learn Prolog Now! A full introduction to Prolog, including DCG's.
- James Power's Prolog Tutorial (with edits from Alex Monaghan)
- Fundamental Prolog Tutorial
- Visual Prolog for Tyros
- Strawberry Prolog Help, online help
- Strawberry Prolog Tutorial by Dimitar Gelev
- Prolog And Natural Language Analysis (©) PDF
- An Introduction to Logic Programming through Prolog (©) PS\PDF
Advanced exercises can be found on the Prolog Programming Contests' website.
Other texts on Prolog
Prolog programming for AI - Ivan Bradko http://www.mtome.com/Publications/PNLA/pnla-digital.html