curry

Ich war ziemlich beeindruckt von der Kraft von Prolog. Es hat einige Zeit gedauert, um den Kopf herumzukriegen, aber für mich schien es die coolste deklarative Sprache da draußen zu sein. Deshalb habe ich mich vor kurzem, nach zwei Jahren funkti...

Ich habe einen Standard-Datentyp, der Formeln der Prädikatenlogik darstellt. Eine Funktion, die eine natürliche Abzugseliminierungsregel für die Disjunktion darstellt, könnte folgendermaßen aussehen: %Vor% Anstelle der Auswertung auf Nothing...

Ich habe Curry auf Wikipedia gefunden. Es sagt, dass Curry fast eine Obermenge ist, aber nicht, weil etwas fehlt. Ich würde es gerne sehen, dass es das ganze Haskell unterstützt. Wollten sie Haskell als Teil von Curry implementieren?