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



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.