Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!munnari.oz.au!goanna!ok
From: ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Re: Where is CProlog??
Keywords: CProlog.
Message-ID: <4176@goanna.cs.rmit.oz.au>
Date: 1 Nov 90 08:12:57 GMT
References: <1990Oct18.185317.23316@portia.Stanford.EDU> <16150@hydra.gatech.EDU>
Organization: Comp Sci, RMIT, Melbourne, Australia
Lines: 17

In article <16150@hydra.gatech.EDU>, gt0972d@prism.gatech.EDU (GUNASEELAN,L) writes:
> By the way, is C-Prolog implementation based on WAM? 

C Prolog is a Prolog *interpreter* written in C.
It's based on EMAS Prolog, which was a Prolog interpreter written in
IMP (if you liked Atlas Autocode, you might have liked IMP).
The "register" names in the C Prolog sources are based on the
register names used in David Warren's PhD thesis about DEC-10 Prolog.
C Prolog is a structure-sharing system (like DEC-10 Prolog),
not a structure-copying system.
The point of C Prolog was to get a reasonably full implementation of
Prolog for a VAX/UNIX system in a hurry.  It does no indexing, no TRO,
no garbage collection, no stack shifting, no compilation.
The WAM model was invented several years after C Prolog was shipped.
-- 
The problem about real life is that moving one's knight to QB3
may always be replied to with a lob across the net.  --Alasdair Macintyre.