An extended Warren abstract machine for the execution of structured logic programs

Evelina Lamma, Paola Mello, Antonio Natali
<span title="">1992</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
WARREN ABSTRACT MACHINE 189 of clauses, as happens in pure Prolog, g is evaluated by using a variable set of clauses determined by the current context of proof. As a matter of fact, contexts are represented as ordered lists of unit names and denote the union of the sets of clauses of the composing units. In particular, if the current context is [V" UN_ " . . . , V, J the ordered set of clauses considered is: clauses) (UN: I clauses) . . . Blocks and Modules [15] E Prolog/KR [2Y] 0 Multi-Prolog
more &raquo; ... 7] E N-Prolog [12] E Clausal ht. Logic [21] E Modules [25] E ABSTRACT MACHINE 199 WARREN ABSTRACT MACHINE 201 AN EXTENDED WARREN ABSTRACT MACHINE AN EXTENDED WARREN ABSTRACT MACHINE AN EXTENDED WARREN ABSTRACT MACHINE 217
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(92)90011-q">doi:10.1016/0743-1066(92)90011-q</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/k4653eakrfdi7e7zqw2ovbh3bq">fatcat:k4653eakrfdi7e7zqw2ovbh3bq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190302065335/https://core.ac.uk/download/pdf/82375893.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/22/5c/225c640d8eeb43690ded1f7276631cacdf21a230.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(92)90011-q"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>