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 |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Working-Paper-SWP-90-02_Hein_Adding-WAM-instructions-to-support-Valued-Clauses-for-the-Relational-Functional-Integration-Language-RELFUN.pdf | 22,24 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.