Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!linus!decvax!ittvax!qumix!amd!fortune!hpda!hplabs!sri-unix!BIESEL@RUTGERS.ARPA From: BIESEL@RUTGERS.ARPA Newsgroups: net.ai Subject: OPS5 info summary. Message-ID: <12642@sri-arpa.UUCP> Date: Wed, 3-Oct-84 11:41:55 EDT Article-I.D.: sri-arpa.12642 Posted: Wed Oct 3 11:41:55 1984 Date-Received: Sat, 6-Oct-84 06:25:07 EDT Lines: 30 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