dsteven%clemson.csnet@csnet-relay (D E Stevenson) (05/14/85)
-----Forwarded Message------ Received: from csnet-relay (csnet-pdn-gw) by rand-unix.ARPA; Mon, 13 May 85 17:35:57 pdt Message-Id: <8505140035.AA13098@rand-unix.ARPA> Received: from clemson by csnet-relay.csnet id ab16218; 13 May 85 20:27 EDT Date: Mon, 13 May 85 12:47 EST From: D E Stevenson <dsteven%clemson.csnet@csnet-relay> Subject: PROLOG packages Are there any PROLOG symbolic algebra systems available?
abc@brl-sem.ARPA (Brint Cooper ) (05/18/85)
There is a Prolog symbolic algebra package called PRESS. You can get info from A. Bundy at U. of Edinburgh. At least that's what my officemate says and he usually knows about such stuff. Brint