Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rochester!ritcv!tropix!dls
From: dls@tropix.UUCP (David L. Snyder )
Newsgroups: comp.lang.prolog
Subject: request for public domain prologs
Message-ID: <223@tropix.UUCP>
Date: Thu, 13-Nov-86 09:18:58 EST
Article-I.D.: tropix.223
Posted: Thu Nov 13 09:18:58 1986
Date-Received: Thu, 13-Nov-86 21:43:17 EST
References: <8611120817.AA14806@ucbvax.Berkeley.EDU>
Reply-To: dls@tropix.UUCP (David L. Snyder )
Organization: GCA/Tropel Div. Rochester, NY 14450
Lines: 18

I am looking for a public domain prolog that meets the following constraints:

	- it is at least a complete C & M implementation, using
	  their standard syntax.
	- it can be ported to a unix/m68020 workstation.
	- it has some support tools, e.g., trace and debug.
	- alternatively, a prolog embedded in franz or common lisp
	  would be quite acceptable.

			Thanks for any replies.

David Snyder
GCA/Tropel Division
60 O'Connor Road
Fairport, NY 14450
(716) 377-3200, x221

P.S. Try tropix!dls@rochester as an arpa address if other alternatives fail.