Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!samsung!emory!athena.cs.uga.edu!mcovingt From: mcovingt@athena.cs.uga.edu (Michael A. Covington) Newsgroups: comp.lang.prolog Subject: Re: Logic programming languages other than Prolog ? Keywords: Logic programming, Prolog Message-ID: <1991May25.161921.7266@athena.cs.uga.edu> Date: 25 May 91 16:19:21 GMT References: Organization: University of Georgia, Athens Lines: 38 In article jfl@mullauna.cs.mu.OZ.AU (John Lenarcic) writes: > >I understand that Prolog is only an approximation of the >lofty aims of logic programming. Actually, Prolog is a deliberate compromise between implementing logic and making an efficient, usable computer language. Because of Goedel's famous proof, nobody will ever perfectly implement logic. (That's a quick and dirty answer to a subtle question -- no flames please.) However, judging from most >of the Prolog textbooks on the market, one would think that >Prolog "is" Logic Programming. How many competitors does >Prolog have ? Does anyone have a list of all the "logic programming" >languages that have been developed up until now ? Is there a survey >article that could answer my query ? Some that I know of: Trilogy (a commercial product from Canada; a sort of combined Prolog, Lisp, and Pascal); d-Prolog (ftp from aisun1.ai.uga.edu) extends Prolog by adding defeasible reasoning; N-Prolog (articles in J of Logic Programming by Dov Gabbay; Prolog with explicit negation); several parallel-processing languages (Parlog etc.); doubtless many others. -- ------------------------------------------------------- Michael A. Covington | Artificial Intelligence Programs The University of Georgia | Athens, GA 30602 U.S.A. -------------------------------------------------------