home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.yorku.ca 2015 / ftp.cs.yorku.ca.tar / ftp.cs.yorku.ca / pub / peter / SVT / SWI / README < prev    next >
Text File  |  2006-08-01  |  991b  |  37 lines
  1. SVT Source Code -- SWI Prolog Versions
  2.  
  3. The *.pl files in this directory are SWI Prolog versions of the tools used in 
  4. _Software Verification Tools_.  To construct stand-alone versions of these 
  5. tools as described in the the text,
  6.  
  7. (1) install SWI Prolog 
  8.  
  9. (2) invoke the SWI Prolog interpreter as shown below, substituting the name 
  10. of the tool (tautology, wang, etc.) where indicated:
  11.  
  12. % pl
  13.  
  14. Welcome to SWI-Prolog (Multi-threaded, Version 5.4.7)
  15. Copyright (c) 1990-2003 University of Amsterdam.
  16. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
  17. and you are welcome to redistribute it under certain conditions.
  18. Please visit http://www.swi-prolog.org for details.
  19.  
  20. For help, use ?- help(Topic). or ?- apropos(Word).
  21.  
  22. ?- [<tool>].
  23. %  library(quintus) compiled into quintus 0.00 sec, 123,556 bytes
  24. . . . 
  25. Yes
  26. ?- qsave_program(<tool>, [toplevel(activate), goal(true)]).
  27. . . . 
  28.  
  29. Yes
  30. ?- ^D
  31. % halt
  32.  
  33.  
  34.  
  35.              . . .  Peter Roosen-Runge
  36.                     peter@cs.yorku.ca
  37.