Path: utzoo!attcan!uunet!husc6!linus!philabs!sbcs!warren
From: warren@sbcs.sunysb.edu (David Scott Warren)
Newsgroups: comp.lang.prolog
Subject: Re: A question on the compilation of Prolog.
Keywords: WAM, "Computing With Logic" by Maier and Warren,D.S.
Message-ID: <1463@sbcs.sunysb.edu>
Date: 4 Aug 88 17:00:25 GMT
References: <Aug.4.02.26.38.1988.12838@clash.rutgers.edu>
Sender: news@sbcs.sunysb.edu
Reply-To: warren@sbwarren.UUCP (David Scott Warren)
Organization: State University of New York at Stony Brook
Lines: 21

In message <Aug.4.02.26.38.1988.12838@clash.rutgers.edu> Sanjeev Kumar asks:

>I have a doubt to clarify from an example that is given in the book
(Computing with Logic, by Maier/Warren)
>... This is an example on pages 470-471.

>Prolog Source 			WPE Machine Code
    ....
>				call	r:, 4	% space for D,C
>	/*****/ ---------->     putVal	r1, 3	% C to r1
>				putVal	r2, 2	% D to r2
    ...
>
> My objection is to the instruction marked by /*****/. I think it
>should be "putUVal r1, 3" ...

Sanjeev is exactly  correct for  the reasons  he cites.   That should
have been a putUVal instruction.  Thank you for the correction.  

-David S. Warre