jfl@mullauna.cs.mu.OZ.AU (John Lenarcic) (05/25/91)
I understand that Prolog is only an approximation of the lofty aims of logic programming. 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 ? Many thanks, John Lenarcic, Department of Computer Science, University of Melbourne, Parkville, Victoria 3052 Australia. E-mail : jfl@munmurra.cs.mu.OZ.AU
ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) (05/25/91)
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. 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 ? May I put in a plug for Trilogy? The address I have for them is Complete Logic Systems, Inc., 741 Blueridge Ave, North Vancouver, B.C., Canada, V7R 2J5. Paul Voda has published several papers about Trilogy in logic programming conferences. It was even reviewed in Byte several years ago. -- I rejoiced that at least So-and-So could spell "hierarchical", but the _real_ explanation was that he couldn't spell "heir". -me
mcovingt@athena.cs.uga.edu (Michael A. Covington) (05/25/91)
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. -------------------------------------------------------
charmi@dist.dist.unige.it (Giancarlo Succi) (05/30/91)
>I understand that Prolog is only an approximation of the >lofty aims of logic programming. 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" I would add to the LL list the series of languages developed by Bharat Jayaraman @ UNC/Chapel Hill and SUNY/Buffalo: Sel, Srl and SuRE. Giancarlo PS If you want a reference, you can try with: @TECHREPORT{jaya:90, author = ``Jayaraman, B.'', title = ``Towards a {B}roader {B}asis for {L}ogic {P}rogramming'', institution = ``{CS} {D}ept., {SUNY} at {B}uffalo'', year = 1990, }