BIESEL@RUTGERS.ARPA (10/03/84)
Thanks are due to all the folks who responded to my request for information
on OPS5. What follows is a summary of this information.
There are at least three version of OPS5 currently available:
1) DEC Compiler QA668-CM in BLISS, available to 2 and 4 year degree granting
institutions for $1000. Documentation:
AA-GH00A-TE Forgy's Guide
AA-BH99A-TE DEC's User Guide
2)Forgy's version (Charles.Forgy@CMU-CS-A), running under Franz Lisp on
VAXen. A manual is also available from the same source.
3)A T Lisp version created by Dan Neiman and John Martin at ITT
(decvax!ittvax!wxlvax!martin@Berkeley). This version is also supported by
some software tools, but cannot be given away. For costs and procedures
contact John Martin.
Short courses on OPS5 are available from:
Smart System Technology
6870 Elm Street
McLean, VA 22101
(703) 448-8562
Elaine Kant and Lee Brownston@CMU-CS-A, Robert Farrell@Yale and Nancy Martin
at Wang Labs are writing a book on OPS5, to be published this Spring by
Addison_Wesley.
Regards,
Pete