logic-programming

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 weiß, dass var/1 , nonvar/1 und !/0 unreine Primitive sind, aber macht ihre Verwendung jedes Programm, das sie unrein verwendet? Ich habe das folgende Prädikat plus/3 geschrieben, das sich so verhält, als wäre es rein oder zu...

Ich suche nach einer Bibliothek / Assembly, mit der ich mit logischen Variablen in F # arbeiten kann. Ich möchte vermeiden, das Rad neu zu erfinden, wenn ich die erforderliche union-find Datenstruktur, Vereinigungscode und so weiter implementier...

Gibt es eine Möglichkeit, Logik-Programmierung (denke an Prolog) in Lua zu machen? Insbesondere: Gibt es ein Lua-Modul für die Logikprogrammierung ( miniKanren wird die Implementierung am besten sein, aber es ist nicht unbedingt erforderli...

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?