WikiDer > Curry (Programmiersprache)

Curry (programmeertaal)
Curry
ParadigmaFunktional, Logisch
ImplementierungenPAKCS
Munster Curry Compiler
Beeinflusst vonProlog
Portal  Portalsymbol  Informatik

Curry ist ein funktional und logischProgrammiersprache die auf dem basiert Syntax der funktionalen Programmiersprache Haskell. Curry enthält Funktionen funktionaler Sprachen, wie z faule Bewertung und Funktionen höherer Ordnung, und von logischen Sprachen, wie z. B. logische Variablen. Die Sprache ist nach dem Amerikaner benannt Mathematiker und LogikerHaskell Brooks Curry.

Es gibt mehrere Implementierungen von Curry, wie PAKCS (Portland Aachen Kiel Curry System) und den Münster Curry Compiler.

Überblick

Es ist in Curry möglich, genau wie in Prolog, unter Verwendung von logischen Variablen, zunächst mit einem unbekannten Wert, dessen Wert berechnet werden kann. Während das Programm läuft, sucht es nach möglichen Werten der Variablen und wertet dann den Ausdruck aus. Das folgende Beispiel verwendet zwei freie Variablen, X und ja, benutzt:

x && (y || (nicht x)) wobei x,y frei

Die Sprache instanziiert konkrete Werte für X und ja und berechnet dann den Wert des Ausdrucks:

  • x = wahr und y = wahr (Ergebnis: wahr)
  • x = wahr und y = Falsch (Ergebnis: Falsch)
  • x = Falsch und y = y (Ergebnis: Falsch)

Die letzte Zeile gibt an, dass die Variable ja hat keinen Wert: wenn x = Falsch macht dann den Wert von ja kümmere dich nicht um den Wert des Ausdrucks.

Externe Links