{short description of image}

Rotating Knight Chess PieceKeylink Prolog

New 32 bit version for Windows 95, 98, 2000, XP and NT - see below

{short description of image}

*

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.

{short description of image}

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.

{short description of image}

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.

{short description of image}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.

{short description of image}

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. If you have difficulty obtaining a copy, contact:

Taylor and Francis Limited Rankine Road, Basingstoke RG24 8PR Tel: 01 256 813000 Fax: 01 256 479438

{short description of image}

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.

{short description of image}

An evaluation copy is available for downloading. The number of queries within a session has been limited. To install, click on the 'Prolog trail version' text below. Save the file into a folder, double click on it to expand it. Prolog can then be installed by running Setup.exe.

Floppy Disk

Prolog trial version

Ordering Prolog32 Site Licence

Order single copies of Prolog32 by contacting Keylink directly 01 926 850909.