Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!philabs!mcnc!unc!ulysses!mhuxr!mhuxn!ihnp4!alberta!sask!kusalik
From: kusalik@sask.UUCP (Tony Kusalik)
Newsgroups: net.ai,net.lang.prolog
Subject: Expert Systems (info wanted)
Message-ID: <371@sask.UUCP>
Date: Wed, 14-May-86 00:34:51 EDT
Article-I.D.: sask.371
Posted: Wed May 14 00:34:51 1986
Date-Received: Thu, 15-May-86 08:26:27 EDT
Distribution: net
Organization: University of Saskatchewan, CANADA
Lines: 10
Xref: linus net.ai:3218 net.lang.prolog:665

I am looking for any pointers/info on
past/existing/prospective expert systems
for theoretical mathematics written in Prolog
or other languages based on logical inference.

thanks.

Tony Kusalik
		kusalik@sask.bitnet
		...!{ihnp4,ubc-vision,alberta}!sask!kimnovax!kusalik