Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-44118
Titel: Adding WAM instructions to support Valued Clauses for the Relational/Functional Integration Language RELFUN
VerfasserIn: Hein, Hans-Günther
Sprache: Englisch
Erscheinungsjahr: 1990
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: The integration of functional and relational programming languages is mainly based on interpreter systems. This work shows how to add instructions to the abstract PROLOG machine WAM, introduced by David H. D. Warren [11], for compiling the integration language RELFUN. In the relational view of computation, the binding of variables 1s one of the basic concepts, whereas the functional view is based on the returning of values. RELFUN is built around valued clauses, i.e. the last call of a clause determines the value of the clause. In this paper "VALREG" instructions are introduced to support valued clauses in a WAM based machine, developing a proposal originally made by Harold Boley [2] for the Prolog machine model (WPE) of David Maier and David S. Warren [5]. It is shown that these instructions are integrated easily into the existing WAM model and that the compilation of RELFUN Programs is straightforward. The added instructions were implemented in LISP for the Sven-Olof Nystroem based WAM model ([12]) and for a WAM extension, the Joachim Beer based model ([9],[10],[13]).
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-441189
hdl:20.500.11880/39464
http://dx.doi.org/10.22028/D291-44118
Schriftenreihe: SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931]
Band: 90,2
Datum des Eintrags: 23-Jan-2025
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.