Integration von logischer und funktionaler Programmierung

  • Beschreibung

    Deklarative Programmiersprachen bieten ein hohes Abstraktionsniveau und Ausdrucksstärke, die den Programmierer von vielen Detailproblemen entlastet und so die Softwareentwicklung vereinfacht und ihre Kosten reduziert. In der Vergangenheit wurden die wichtigsten Paradigmen dieser Art, die funktionale und die logische Programmierung, weitgehend unabhängig voneinander betrachtet. Durch die Integration dieser Paradigmen können ihre Vorteile kombiniert werden. Dieser Ansatz ist vor allem für das Rapid Prototyping interessant.

  • Muenster Curry Compiler

    http://danae.uni-muenster.de/curry/