Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40149
Titel: SASLOG : Lazy Evaluation Meets Backtracking
VerfasserIn: Hinkelmann, Knut
Noekel, Klaus
Rehbold, Robert
Sprache: Englisch
Erscheinungsjahr: 1988
Erscheinungsort: Kaiserslautern
Freie Schlagwörter: functional programming
logic programming
lazy evaluation
combinators
graph reduction
streams
backtracking
set abstraction
semantic unification
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: We describe a combined functional / logic programming language SASLOG which contains Turner’s SASL, a fully lazy, higher-order functional language, and pure Prolog as subsets. Our integration is symmetric, i.e. functional terms can appear in the logic part of the program and v.v. Exploiting the natural correspondence between backtracking and lazy streams yields an elegant solution to the problem of transferring alternative variable bindings to the calling functional part of the program. We replace the rewriting approach to function evaluation by combinator graph reduction, thereby regaining computational efficiency and the structure sharing properties. Our solution is equally well suited to a fixed combinator set and to a super combinator implementation. In the paper we use Turner's fixed combinator set.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-401497
hdl:20.500.11880/36226
http://dx.doi.org/10.22028/D291-40149
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 88,1
Datum des Eintrags: 11-Aug-2023
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-88-01_Hinkelmann-Noekel-Rehbold_SASLOG-Lazy-Evaluation-Meets-Backtracking.pdf1,38 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.