leff@smu (03/26/88)
We are looking for a PROLOG to be used on our VAX 4.3BSD with NFS system. The primary application will be education (AI course and programming languages). I recall a list of such things posted to prolog-list or ai-list several years ago. Does anybody have a copy they can send me. Letters to the ailist and prolog list coordinators elicited a negative and a non-existant response, respectively. Anyone know of any such products or have something to sell us. We already know about Quintus Prolog and the one from Melbourne. Laurence Leff: Coordinator, Computer Science and Engineering Department Computer Facilities Management Team, 75275-0122, 214-692-2859 Moderator comp.doc.techreports/TRLIST, Symbolic Math List convex!smu!leff leff%smu.uucp@uunet E1AR0002 at SMUVM1 (BITNET)