logic-programming

Logic Programming ist ein Programmierparadigma, das auf Logik erster Ordnung basiert.
2
Antworten

Die nützlichste und lehrreichste funktional-logische Sprache zu lernen

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...
16.07.2013, 11:18
1
Antwort

Funktion gibt "Keine Lösung" statt "Nichts" zurück

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...
30.09.2011, 13:55
2
Antworten

Reinheit der Prolog-Prädikate, die unreine Primitive verwenden

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...
12.01.2015, 17:26
3
Antworten

Unterstützung von Logikvariablen für .NET [geschlossen]

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...
17.02.2010, 11:00
4
Antworten

Logische Programmierung in Lua?

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...
18.02.2012, 08:34
0
Antworten

Wird die ganze Haskell ein Teil von Curry sein? [geschlossen]

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?     
03.12.2011, 21:00