Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/5/84; site randvax.UUCP Path: utzoo!linus!philabs!cmcl2!seismo!harvard!talcott!panda!genrad!decvax!ittvax!dcdwest!sdcsvax!sdcrdcf!randvax!D E Stevenson From: dsteven%clemson.csnet@csnet-relay (D E Stevenson) Newsgroups: net.math.symbolic Subject: PROLOG symbolic algebra packages Message-ID: <2480@randvax.UUCP> Date: Tue, 14-May-85 11:19:50 EDT Article-I.D.: randvax.2480 Posted: Tue May 14 11:19:50 1985 Date-Received: Fri, 17-May-85 05:36:56 EDT Sender: lseward@randvax.UUCP Distribution: net Organization: Rand Corp., Santa Monica Lines: 9 -----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 Subject: PROLOG packages Are there any PROLOG symbolic algebra systems available?