vinson@linc.cis.upenn.edu (Jack Vinson) (10/29/90)
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.eduebspencer@watdragon.waterloo.edu (Bruce Spencer) (11/16/90)
This article may be of interest to anyone following the search for a free public domain prolog for the IBM PC. In article <31876@netnews.upenn.edu> vinson@linc.cis.upenn.edu (Jack Vinson) writes: >Well, here's what I found out about free prolog. Thanks for your >responses. ... > 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 ... >Jack Vinson vinson@linc.cis.upenn.edu I did FTP PDProlog from wuarchive.wustl.edu in the directory /mirrors/msdos/prolog and I have two comments that might be of interest to others looking for a public domain prolog for IBM PC's: First, it appears to be quite old, 1986 is the date of the copyright. There appears to be a bug in this version. For instance I ran append(X, Y, [a,b,c]) and got the following answers: X = [], Y = [a,b,c] X = [a], Y = [b,c] X = [a,b], Y = [c] X = [a,b,c], Y = L_17 Of course, the first three are right, but the fourth answer should have been X = [a,b,c] Y = [] I am guessing that L_17 is some internal name for a variable. As a result I have decided NOT to use this system for my introductory course in logic programming. If there is a better version available I may change my mind. Does anyone know of a more recent version of PDProlog than what is archived at wuarchive.wustl.edu? Thanks Bruce Spencer ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Bruce Spencer | CS Faculty, University of New Brunswick ebspencer@watdragon.waterloo.edu | Fredericton, New Brunswick, Canada, E3B 5A3