Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!nstn.ns.ca!news.cs.indiana.edu!spool.mu.edu!sol.ctr.columbia.edu!emory!athena.cs.uga.edu!mcovingt From: mcovingt@athena.cs.uga.edu (Michael A. Covington) Newsgroups: comp.lang.prolog Subject: Re: "Embedded Prolog" in C code Message-ID: <1991May31.233615.602@athena.cs.uga.edu> Date: 31 May 91 23:36:15 GMT References: <644@fudd.dataco.UUCP> Organization: University of Georgia, Athens Lines: 25 In article garym@cognos.uucp@uunet.uu.net (Gary Murphy) writes: > >Oh, let's not start THIS again. One could argue that NONE of the current >implementations are 'prolog', but the truth is that PDC is more a prolog >than anything else and is as much a prolog as TurboPascal is a pascal. > Falsch. Turbo Pascal _is_ Pascal; virtually all ISO Pascal programs run unchanged. Turbo Prolog is _not_ Prolog; there is NO, I repeat _no_ Edinburgh Prolog program that will run unchanged in Turbo Prolog. The real problem with Turbo Prolog is not what it leaves out, but with what it adds. All kinds of obligatory type declarations, and restrictions on the use of data types, are added. This is why no Edinburgh Prolog program will run unchanged, and most of them cannot even be converted without a total redesign of the data structures. I'm not saying Turbo Prolog isn't a good language. But it isn't Prolog. It's another Prolog-like language, just as Pascal is another Algol-like language. -- ------------------------------------------------------- Michael A. Covington | Artificial Intelligence Programs The University of Georgia | Athens, GA 30602 U.S.A. -------------------------------------------------------