Quintus Prolog

There are three ways to run VERIFY under QP:

<#1290#>On terminals:<#1290#>
VERIFY can be run in a fashion similar to a line editor, or under GNU Emacs (or Unipress Emacs). Running under Emacs allows the user to examine input files in one window, while executing commands in another window. Sessions can be saved on file, and previous commands can be repeated by appealing to command histories.

<#1291#>X11 --- QUI:<#1291#>
The Quintus User Interface (QUI) is based on the X11 windowing system and the use of the mouse. VERIFY can also be run under QUI.

QP allows a program to be saved in a compiled form called a QOF file (Quintus Object Format). QOF files contain a machine independent representation of both compiled and dynamic Prolog procedures. This means that QOF files are completely portable between different platforms running Quintus Prolog.

VERIFY is made available in QOF format at no charge to researchers. The author retains the copyright to the VERIFY software. No changes may be made to the software without the written permission of the author.