Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!sri-unix!teknowledge-vaxc!uw-beaver!tektronix!reed!iscuva!randyg From: randyg@iscuva.UUCP Newsgroups: comp.lang.prolog Subject: Unix based prologs Message-ID: <494@iscuva.UUCP> Date: Mon, 23-Mar-87 23:07:21 EST Article-I.D.: iscuva.494 Posted: Mon Mar 23 23:07:21 1987 Date-Received: Sun, 29-Mar-87 23:38:45 EST Reply-To: randyg@iscuva.UUCP (Randy Gordon) Distribution: na Organization: ISC Systems Corporation, Spokane, WA Lines: 10 Keywords: Prolog Unix Quintus Summary: Opinions on UNIX based prologs OK.. now that we flamed PC based prologs to death..... What unix based prolog would you recommend? We were thinking of going with Quintus, which we have been told is compatable with our Arity prolog. However, are there better ones out there? It must be system V interface definition compatable (or at least NCR tower compatable) and edinburgh syntax.