Path: utzoo!attcan!uunet!tut.cis.ohio-state.edu!rutgers!netnews.upenn.edu!linc.cis.upenn.edu!vinson From: vinson@linc.cis.upenn.edu (Jack Vinson) Newsgroups: comp.lang.prolog Subject: Answer to freeware prolog Message-ID: <31876@netnews.upenn.edu> Date: 29 Oct 90 13:53:20 GMT Sender: news@netnews.upenn.edu Reply-To: vinson@linc.cis.upenn.edu (Jack Vinson) Distribution: na Organization: University of Pennsylvania Lines: 99 Well, here's what I found out about free prolog. Thanks for your responses. ************** There is one called PDProlog which is a freeware Prolog which runs on PC's. It is more a less a very good demo program--it has almost full PROLOG functionality, but it lacks tracing--a major drawback. However, I think the company that makes PDProlog sells a complete version of their product (an "educational version") for about $30. You can ftp PDProlog from wsmr-simtel20.army.mil. From raper@xanth.cs.odu.edu Thu Oct 18 19:10:17 1990 ******** Our company markets Prolog for Logic Programming Associates in London, England. To encourage people to use Prolog, we have recently developed a "Student Edition" program. This allows students to purchase their own PC or Mac license of a commercially successful Prolog for the price of a textbook ($45). And they will also be able to take advantage of Quintus's services, and the microcomputer addd-on products like Prolog++, Flex, etc. If you would like some of our product literature, and more information on the "Student Edition" program, please e-mail me, or call me at 1(800) 542- 1283. Thanks for your inquiry. I encourage you to summarize the results of your findings in the net. I am sure that people would be interested to know what shareware products are available for microcomputers. Kenneth Crawbuck Sales Systems Engineer quintus!kenc@sun.com ******* Anyway, there is a Prolog called PDPROLOG that runs on IBM PCs. The low-end version is public-domain; higher-level versions have increasinly higher costs. The low end version seems adequate for instructional use. Last I checked, it was available via anonymous FTP from wuarchive.wustl.edu from the directory /mirrors/msdos/prolog. ***** I have enclosed some information from Ken Johnson given in a previous posting to this newsgroup. ------------------------------------------------------------------------ >From: ken@aiai.ed.ac.uk (Ken Johnson) Newsgroups: comp.lang.prolog Subject: Re: PROLOG interpreter source wanted Message-ID: <3175@skye.ed.ac.uk> In article <669@lucretia.esa.oz> peter@attila.esa.oz (Peter Davison) writes: > Has anybody out there got a PROLOG interpreter source written in C or >know where I could possibly get my hands on one? Not in C, but in Pascal: Buy ``Prolog for programmers'' by Feliks Kluzniak and Stanislaw Szpakiwicz. Academic Press, 1985. It contains an IBM-PC diskette with the sources of a simple Prolog system. -- Ken Johnson, AI Applications Institute, 80 South Bridge, Edinburgh EH1 1HN E-mail ken@aiai.ed.ac.uk, phone 031-225 4464 extension 212 `I have read your article, Mr Johnson, and I am no wiser now than when I started'. -- `Possibly not, sir, but far better informed.' ----------------------------------------------------------------------- -- Mott Given @ Defense Logistics Agency Systems Automation Center, DSAC-TMP, Bldg. 27-1, P.O. Box 1605, Columbus, OH 43216-5002 INTERNET: mgiven@dsac.dla.mil UUCP: ...{osu-cis}!dsac!mgiven Phone: 614-238-9431 AUTOVON: 850-9431 FAX: 614-238-9928 I speak for myself ******* I found a public domain interpreter for PC's that conforms to the Clocksin & Mellish standard, on a bulletin board. Look for "PDPROLOG". If you have trouble finding it, send me a disk and I'll give you a copy. Regards, Euan Mason 27 Newnham Tce Christchurch 4 New Zealand ********** i have got a public domain version of ADAProlog (i think that was the name - i cannot look it up here at my office), it is called PDProlog. full c&m standard. it does it's work, but is rather difficult to handle. e.g. you can assert new rules *only* by use of assert. if you want it, please send email. do *not* use the address in the header, but those in the signature. tnx. bernd Bernd Meyer, LG Praktische Informatik IV, FernUniversitaet Hagen, D-5800 Hagen Bahnhofstrasse 46/48, FRG, Phone: +49 2331 181677, ** db6ag@db0sgl ** meyer@fernuni-hagen.de or meyer@dhafeu61.bitnet s=meyer; ou=vax1; ou=informatik; p=fernuni-hagen; a=dbp; c=de This posting is a symbol of my individuality and my belief in personal freedom. Jack Vinson vinson@linc.cis.upenn.edu