dls@tropix.UUCP (David L. Snyder ) (11/13/86)
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.