🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: net.math.symbolic
Article #72

Re: PROLOG symbolic algebra packages

#72
From: Brint Cooper
Date: Fri, 17 May 1985 21:41
7 lines
853 bytes
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
Technical Details
Message-ID: <331@brl-sem.ARPA>
Path: arc1-ca.pugleaf.net!utzoo!linus!philabs!cmcl2!seismo!brl-tgr!brl-sem!abc
References: <2480@randvax.UUCP>

Show Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site brl-sem.ARPA
Path: arc1-ca.pugleaf.net!utzoo!linus!philabs!cmcl2!seismo!brl-tgr!brl-sem!abc
From: abc@brl-sem.ARPA (Brint Cooper )
Newsgroups: net.math.symbolic
Subject: Re: PROLOG symbolic algebra packages
Message-ID: <331@brl-sem.ARPA>
Date: Fri, 17-May-85 17:41:25 EDT
Article-I.D.: brl-sem.331
Posted: Fri May 17 17:41:25 1985
Date-Received: Sun, 19-May-85 08:23:55 EDT
References: <2480@randvax.UUCP>
Reply-To: abc@brl-sem (SECAD/CSMB) <abc>.ARPA (Brint Cooper (SECAD/CSMB) <abc>)
Distribution: net
Organization: Ballistic Research Lab
Lines: 7