Keylink Prolog
Keylink PrologNew 32 bit version for Windows 95, 98, 2000, XP and NT - see below
The book 'Mastering Prolog' is now out of print and a copy in PDF format can be downloaded for free. See the link at the bottom of this page. The book has been brought right up to date as a multi-media title with many animations and screencams of using the Prolog system. This can be downloaded for free from the link at the bottom of this page.
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.
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.
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. This can be ordered for £80 +VAT (or with book £110 +VAT), site licence £249, by sending a cheque directly to Keylink Computers, address is on the home page. Institutions should send an official order quoting an order number.
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. The book 'Mastering Prolog' is now out of print a copy in PDF format can be downloaded for free using the link below. Click on the link with right mouse button and then choose Save Target As.
Ordering Prolog32 Site Licence