[net.lang.prolog] Expert Systems

kusalik@sask.UUCP (Tony Kusalik) (05/14/86)

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

gordon@warwick.UUCP (Gordon Joly) (05/17/86)

Cc:
Bcc:

PRESS was written at the University of Edinburgh. 
It is a computer algebra system. I am not sure this is what
you are after...
They will probably respond, but if not ask me or
Jane Hesketh for further info.

Gordon Joly -- {seismo,ucbvax,decvax}!mcvax!ukc!warwick!gordon

Jane is at Hesketh%uk.ac.edinburgh@UCL-CS.ARPA
or try ...!mcvax!ukc!edai!Hesketh (not so sure about that).