Article View: comp.lang.prolog
Article #4165WAM queries
From: vassilios e axaris
Date: Thu, 08 Feb 1990 16:23
Date: Thu, 08 Feb 1990 16:23
23 lines
1308 bytes
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!axarisShow 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