🚀 go-pugleaf

In article <jfl.675148139@mullauna> 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.
-------------------------------------------------------