home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.yorku.ca 2015 / ftp.cs.yorku.ca.tar / ftp.cs.yorku.ca / pub / peter / SVT / OpenProlog / README next >
Text File  |  1999-04-04  |  513b  |  16 lines
  1. The tools in this directory are versions of the Quintus Prolog software 
  2. verification tools, adapted to run under Open Prolog 
  3. (http://www.cs.tcd.ie/open-prolog/).
  4.  
  5. To run a file, launch Open Prolog, and consult the file. Then type 
  6.  
  7.   go. [Enter]
  8.  
  9. in the worksheet, and enter input terms.
  10.  
  11. Details on the tools and their input are found in 
  12. _Software Verification Tools_ (http://cs.yorku.ca/course/3111).
  13.  
  14. For further information, contact me at peter@calumet.yorku.ca.
  15.  
  16.                . . . .  Peter Roosen-Runge