From: Huan Liu
Subject: Pointer to OPS-5 on SUN
Date: Tue, 13 Sep 1988 20:55:12 +0000
Message-ID: <12151@oberon.USC.EDU>

Hi, 

Any one out there knows where to get an OPS-5 version on SUN?
Any pointers, suggestions would be appreciated.

Huan.

From: David M. Neves
Subject: Re: Pointer to OPS-5 on common lisp
Date: Wed, 14 Sep 1988 20:48:32 +0000
Message-ID: <6273@spool.cs.wisc.edu>

Here are a couple of changes to common lisp ops5 you find useful.  The
first is an addition and the second is a bug fix.

;;; Delete all OPS5 material from memory.  Better than rebooting!
;;; Needed whenever a "literalize" is edited.
(defun cleanup nil
    (format t "starting to delete productions, memory, etc.")
    (remove *)
    (let ((proplist (quote
		     (production topnode backpointers wmpart* ops-bind 
				 att-list vector-attribute ppdat conflicts))))
      (do-symbols (litatom)
		  (if (symbol-plist litatom)
		      (dolist (i proplist) (remprop litatom i)))))
    (i-g-v) ;some versions of common lisp ops5 may have this
            ;initialization function as several different ones.
    (format t "~%done!~%"))

;  - change function "ari" so that division uses / rather than floor.
;David Neves, Computer Sciences Department, University of Wisconsin-Madison
;Usenet:  {rutgers,ucbvax}!uwvax!neves
;Arpanet: ·····@cs.wisc.edu