Path: utzoo!attcan!uunet!munnari.oz.au!goanna!ok From: ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) Newsgroups: comp.lang.prolog Subject: Re: Implementation of Prolog-Like Interpreters -> HELP ? Message-ID: <4009@goanna.cs.rmit.oz.au> Date: 18 Oct 90 15:40:07 GMT References: <1990Oct18.103140.2457@fennel.cc.uwa.oz.au> Organization: Comp Sci, RMIT, Melbourne, Australia Lines: 21 In article , yonezawa@cs.uiuc.edu (Noritake Yonezawa) writes: > In article <1990Oct18.103140.2457@fennel.cc.uwa.oz.au> a_omari@fennel.cc.uwa.oz.au writes: > >Are there any decent references to the implementation (in C) of Prolog-like > >interpreters. > I recommend the following book: > Prolog for programmers / Feliks Kluzniak, Stanislaw Szpakowicz, That book uses Pascal, which makes some things (like input/output) hard. Another book is the "Programming in Logic" book by David Scott Warren and David Maier. There's a book came out this year that many university bookshops are likely to have; I can't remember the author or title, but it talks about programming languages, and presents interpreters written in C for something resembling Lisp, something resembling Prolog, something resembling SmallTalk. I haven't looked at it thoroughly, but that may be the closest to something you can type in and use. -- Fear most of all to be in error. -- Kierkegaard, quoting Socrates.