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