Prolog32

An Edinburgh compliant implementation of the Artificial Intelligence language Prolog. A free multimedia guide is available from our website with many animations and screencams of the system. This is an ideal teaching tool and can be used with the Open University's Micro Interpreter for Knowledge Engineering to teach many aspects of Prolog and Expert Systems courses.

The Prolog programming language has been with us since the mid 1970s, and it is now the major Artificial Intelligence (AI) and Expert Systems programming language. It is declarative in style rather than procedural, as with conventional high-level languages. This frees the programmer from the constraints of thinking about how the problem is to be solved, and allows him instead to concentrate on simply describing the problem: the problem-solving algorithm is determined by Prolog at run-time. Its syntax is remarkably simple and easy to learn, as are its basic problem-solving mechanisms, which include pattern-matching and automatic backtracking. Despite this, its power will surprise anyone used to programming in conventional third generation high-level languages.

Prolog32 Main Features:

---

The Keylink Prolog interpreters have been produced to fill an existing need in Education. Keylink Prolog is already in widespread use throughout Scotland for teaching Standard and Higher Grade computing and more recently has become relevant to some of the English Computing A' level courses. Recently we have added a comprehensive multimedia guide to Keylink Prolog which contains many animations and movies.

The Keylink interpreters conform to the standard Prolog syntax and have a fully integrated Windows interface. There's full help, drag and drop, menus and task bar for frequently used functions. This runs on all the 32bit Windows Operating Systems.

Keylink Prolog will run MIKE, the Open University's Micro Interpreter for Knowledge Engineering. MIKE Version 1.5 is in the Public Domain and is an excellent Expert System teaching tool. The multimedia guide contains a chapter on the use of MIKE.

More recently Keylink Prolog has been bundled with the book Mastering Prolog (Taylor and Francis ISBN 1-85728-400-3). This includes the Keylink Windows Prolog, numerous examples from the book, and the Open University's MIKE system for knowledge engineering. The book can be obtained from most good academic book shops.

Prolog32 has a new, more convenient user interface, execution is a lot faster, and there is much more goal heap and atom space available due to 32 bit addressing. This comes on CD and includes an ODBC interface so that Prolog can be used with virtually any database including Access. The CD also includes an enormous quantity of teaching material including notes on logic and the source code of a Warren compiler.

An evaluation copy is available for downloading this can be upgraded to a full version by registering it. The number of queries within a session has been limited. To install, click on the 'Prolog trail version' text below.The trial version may be converted to a full version with a licence key.