Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-41627
Titel: A Relational/Functional Language and Its Compilation into the WAM
VerfasserIn: Boley, Harold
Sprache: Englisch
Erscheinungsjahr: 1990
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: The first part discusses an amalgamation of relations and functions on the basis of ‘valued clauses’, as used in RELFUN. These extend Horn clauses by ‘foot’ premises, specifying the values to be returned. Functions can succeed or fail, enumerate values non-deterministically, return multiple values, and have non-ground arguments and values. Relations act like characteristic functions, permit functionally nested call-by-value arguments, and are definable as higher-order operators. Higher-order clauses are characterized by a structure or a (free) variable in some operator position. The second part describes the WAM compilation of RELFUN. Multiple-valued functions are transformed to a ‘denotative’ form, eliminating foots that are active calls. Call-by-value nestings (possibly non-deterministic) are ‘flattened’. Higher-order clauses are reduced to ‘constant-operator’ clauses. Finally, WAM code is generated by extending the use of X-registers and ‘put’/‘get’ instructions: values are put into registers X1, ... just before a clause returns; from there, the caller can get them as arguments, as if loaded by top-level put instructions.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-416278
hdl:20.500.11880/37854
http://dx.doi.org/10.22028/D291-41627
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 90,5
Datum des Eintrags: 12-Jun-2024
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ößeFormat 
SEKI-Report-SR-90-05_Boley_A-Relational-Functional-Language-and-Its-Compilation-into-the-WAM .pdf2,37 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.