🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #4165

WAM queries

#4165
From: vassilios e axaris
Date: Thu, 08 Feb 1990 16:23
23 lines
1308 bytes
Hello,
I need a clarification on the following put instruction please.
I shall use D.H.Warren's notation from his paper An Abstract Prolog 
Instruction Set. 
put_variable Xn|Yn,Ai :
	For Yn the paper lists the following assignment:
	Ai := Yn := ref_to(Yn)
	For Xn it lists the following:
	Ai := Xn := next_term(H) := tag_ref(H)

Question 1: For the Yn case, ref_to(Yn) puts in Ai a tagged reference or just
	    the address of Yn without tag?
Question 2: For the Xn case, Ai, and Xn get the current heap pointer converted
	    to a tagged reference, or its raw value? Which is executed first?
	    next_term or tag_ref. Compare this with the description of
	    put_structure where it is stated the following:
	    Ai := tag_struct(H)
	    next_term(H) := F (the functor)

I shall appreciate any kind of information. Thanks in advance,

Vassilios E. Axaris
SUNY Buffalo Computer Engineering.
Technical Details
Message-ID: <17224@eerie.acsu.Buffalo.EDU>
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!samsung!uakari.primate.wisc.edu!uwm.edu!rpi!image.soe.clarkson.edu!sunybcs!axaris

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!samsung!uakari.primate.wisc.edu!uwm.edu!rpi!image.soe.clarkson.edu!sunybcs!axaris
From: axaris@acsu.Buffalo.EDU (vassilios e axaris)
Newsgroups: comp.lang.prolog
Subject: WAM queries
Keywords: variable references
Message-ID: <17224@eerie.acsu.Buffalo.EDU>
Date: 8 Feb 90 16:23:44 GMT
Sender: nobody@acsu.Buffalo.EDU
Organization: SUNY at Buffalo
Lines: 23