A. C. Brett firstname.lastname@example.org
Department of Linguistics
University of Victoria
The Prolog software installed on the computers in the classroom is Amzi! Logic Explorer. The University has licensed Logic Explorer from Amzi! inc for student use.
To download a copy of Logic Explorer, take the Download & Buy link on the Amzi! Home Page, or go directly to the Amzi! Prolog download page and follow the instructions there. But note that the downloaded version differs from the one the University has licensed and that we are using in class.
Logic Explorer will run under the Microsoft Windows 98, NT, and XP operating systems. It does not, however, run on Macintosh operating system machines (sorry about that). There are, however, several implementations of Prolog for the Apple Macintosh cited in the references below. But note that there will be differences between these versions of Prolog and the one we are using in class.
Logic Explorer includes a very extensive help file and Prolog documentation system. The documents accessible through the help system include a Prolog tutorial, a user's guide, and a Prolog language reference manual. Our notes are intended to augment these materials with some examples and other information pertinent to the course.
You can get access to the help system by picking it from the Amzi! Logic Explorer directory or, after having started Logic Explorer, by selecting help from the menu bar at the top of the Amzi! Iteractive Development Environment window.
Instructions for starting Amzi! Logic Explorer, and notes on using the Iteractive Development Environment, called the IDE, are included on The Listener page.
An extensive list of Prolog software is maintained at the Oxford University Computing Laboratory Logic Programming archive site. Prolog implementations for a number of operating systems, including the Macintosh, are included. Following the links on this page will also lead you to other sources of Prolog-related information and materials.
One of the sources of Prolog software cited in the Oxford Logic Programming Archive is the Carnegie Mellon University Artificial Intelligence Repository of Free/Shareware Prolog implementations.
This site, Computational Syntax and Semantics at New York University, is included here not so much as a source of Prolog software, although MS DOS and Apple Macintosh implementations are available, but rather as an example of a computational linguistics taught using Prolog. The site contains some interesting materials related to the teaching of computational linguistics from the perspective of a particular theory of grammar.
The site is also of interest because of the student participation in its development and maintenance. In this connection, see the HTML Gesellschaft page.
|Linguistics 482||Prolog Introductory Notes||Top of Page|