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öße | Format | |
---|---|---|---|---|
SEKI-Report-SR-90-05_Boley_A-Relational-Functional-Language-and-Its-Compilation-into-the-WAM .pdf | 2,37 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.