Prolog/External links
From Wikibooks, the open-content textbooks collection
Contents |
[edit] Prolog Compilers
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.
[edit] Prolog Tutorials
When learning prolog, it's allways 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.
Learn Prolog Now! A full introduction to Prolog, including DCG's.
- James Power's Prolog Tutorial (with edits from Alex Monaghan)
- http://www.cse.ucsc.edu/classes/cmps112/Spring03/languages/prolog/PrologIntro.pdf
- Fundamental Prolog Tutorial
- Visual Prolog for Tyros
- Strawberry Prolog Help, online help
- Strawberry Prolog Tutorial by Dimitar Gelev
[edit] Books about Prolog
Prolog programming for AI - Ivan Bradko
