Path: utzoo!utgpu!watserv1!watmath!att!mcdchg!laidbak!ism.isc.com!uunet!tut.cis.ohio-state.edu!dsac.dla.mil!ntm1169
From: ntm1169@dsac.dla.mil (Mott Given)
Newsgroups: comp.lang.prolog
Subject: Re: Freeware / Shareware prolog
Message-ID: <2171@dsac.dla.mil>
Date: 19 Oct 90 13:23:14 GMT
References: <31282@netnews.upenn.edu>
Organization: Defense Logistics Agency Systems Automation Center, Columbus
Lines: 37

From article <31282@netnews.upenn.edu>, vinson@linc.cis.upenn.edu (Jack Vinson):
> Is there a decent version of Prolog for the PC and/or Mac on freeware or
> shareware?  I am TA-ing a class which is doing prolog at the moment, and
> many students are looking for a prolog they can take home with them.

    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