Implementing Contexts in Logic Programming
In: http://www-lia.deis.unibo.it/~ao/Papers/pdf/1992/elp.pdf, 1992
Online
academicJournal
Zugriff:
Machine with a minimal set of features to support contexts; 3) Program representation-based approach: it exploits the program representation and the predicate addressing mechanism of a modular Prolog programming system, in order to implement contexts in the same way ordinary modules are. The main goal of the first work is to discuss and compare the first two approaches by considering both methodological and performance aspects. 146 In order to achieve comparable performance results, a simulator of the VLSI Prolog coprocessor described in [CIV89] has been used. Two versions of such a simulator have been employed, the first supporting standard Prolog (i.e. implementing the standard WAM), the second supporting the S-WAM described in [LMN89, LMN]. Since both machines share the same set of micro-coded instruction, this set has been used as unit of measure. Reliable measures of computational costs can also be achieved, since the execution time of each micro-instruction is known. The wor.
Titel: |
Implementing Contexts in Logic Programming
|
---|---|
Autor/in / Beteiligte Person: | Denti, E. ; Lamma, E. ; Mello, P. ; Natali, A. ; Omicini, A. ; The Pennsylvania State University CiteSeerX Archives |
Link: | |
Zeitschrift: | http://www-lia.deis.unibo.it/~ao/Papers/pdf/1992/elp.pdf, 1992 |
Veröffentlichung: | Springer-Verlag, 1992 |
Medientyp: | academicJournal |
Sonstiges: |
|