Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-42869
Titel: | SASLOG : Eine funktional-logische Sprachintegration mit Lazy Evaluation und semantischer Unifikation |
VerfasserIn: | Hinkelmann, Knut |
Sprache: | Deutsch |
Erscheinungsjahr: | 1988 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | SASLOG is a combined functional/logic programming language which contains SASL, a fully-lazy, higher-order functional language and the logic language Prolog. The integration is symmetric allowing functional terms to appear in the logic part and Prolog goals in the functional part. 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. The evaluation of functional expressions in the logic part is driven by the extended unification algorithm which takes into account the semantics of function symbols. The rewriting approach to function evaluation is replaced by combinator graph reduction, thereby regaining computational efficiency and the structure sharing properties. The integration fits well to combinator graph reduction. So the instantiation of logic variables supports structure sharing. On the other hand we provide a solution to the reduction of functional expressions containing logic variables in different binding environments. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-428694 hdl:20.500.11880/38568 http://dx.doi.org/10.22028/D291-42869 |
Schriftenreihe: | SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931] |
Band: | 88,6 |
Datum des Eintrags: | 30-Sep-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-Working-Paper-SWP-88-06_Hinkelmann_SASLOG-Eine-funktional=logische-Sprachintegration-mit-Lazy-Evaluation-und-semantischer-Unifikation.pdf | 49,02 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.