Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
  Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben
Zeitschriftenartikel

The Integration of Functions into Logic Programming: From Theory to Practice

MPG-Autoren
/persons/resource/persons44582

Hanus,  Michael
Programming Logics, MPI for Informatics, Max Planck Society;

Externe Ressourcen
Es sind keine externen Ressourcen hinterlegt
Volltexte (beschränkter Zugriff)
Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.
Volltexte (frei zugänglich)

1-s2.0-0743106694900345-main.pdf
(Verlagsversion), 4MB

Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Hanus, M. (1994). The Integration of Functions into Logic Programming: From Theory to Practice. The Journal of Logic Programming, 19 & 20, 583-628. doi:10.1016/0743-1066(94)90034-5.


Zitierlink: https://hdl.handle.net/11858/00-001M-0000-0014-ADB0-F
Zusammenfassung
Functional and logic programming are the most important declarative programming
paradigms, and interest in combining them has grown over the last decade. Early
research concentrated on the definition and improvement of execution principles
for such integrated languages, while more recently efficient implementations of
these execution principles have been developed so that these languages became
relevant for practical applications. In this paper we survey the development of
the operational semantics as well as the improvement of the implementation of
functional logic languages.