logic-programming

41Hitze

13Antwort

Embedded Prolog Interpreter/Compiler für Java

Ich arbeite an einer Anwendung in Java, die einige komplexe logische Regelabzüge als Teil ihrer Funktionalität tun muss. Ich möchte meine Logikableitungen in Prolog oder einer anderen Logik-/Constrain

java prolog embedded-language logic-programming constraint-programming 2009-11-29

---

23Hitze

1Antwort

Welche Arten von Systemen können die Aufhebung von Zielen in logischen Sprachen verhindern?

Aus dem Bereich 3.13.3 des curry tutorial: Operationen, die starr genannt residuate werden, während Operationen, die flexibel genannt werden verengen. Alle definierten Operationen sind flexibel, währe

type-systems logic-programming curry 2011-01-12

---

3Hitze

1Antwort

Was sind gute/etablierte Datenbank-Backing-Strategien für die Logik-Programmierung in Clojure

Ich habe es schwer, fundierte Informationen über Strategien zu finden, um eine (deduktive) Datenbank für Fakten zu erstellen, die mit einem Logikprogrammierungsansatz wie core.logic abgefragt werden.

database clojure logic-programming 2012-04-04

---

14Hitze

5Antwort

Neuere Programmiersprache als Prolog für Logikprogrammierung

Gibt es eine neuere Sprache als Prolog für die logische Programmierung?

programming-languages paradigms logic-programming 2011-01-16

---

0Hitze

2Antwort

Prolog: X ist der Großvater von Y

wird angenommen, dass die folgenden Tatsachen sind bereits in der Prolog-Datenbank eingetragen: father(X, Y) // X is the father of Y mother(X, Y) // X is the mother of Y male(X) // X is a male

prolog logic-programming 2010-12-07

---

9Hitze

3Antwort

Breite-zuerst in Prolog

Was ist die allgemeine Idee der Verwendung von Breitens zuerst über das Standard-Tiefensuchschema in Prolog? Keine unendlichen Zweige? Gibt es eine allgemeine Möglichkeit, in Prolog breath-first zu ve

prolog breadth-first-search logic-programming 2009-04-20

---

3Hitze

1Antwort

Wie funktioniert Append-to-Form? (SICP's Abschnitt über Logic Programming)

Ich arbeite derzeit durch SICP Abschnitt über Logic Programming, aber ich steckte in den Beispielen in Bezug auf logische Schlussfolgerungen, vor allem die Append-to-Form-Regeln. Wie arbeiten Sie? Was

sicp logic-programming 2010-12-10

---

17Hitze

4Antwort

Was ist interessanter oder leistungsfähiger: Curry, Mercury oder Lambda-Prolog?

Ich möchte Sie fragen, welches formelle System interessanter wäre, um von Grund auf neu zu implementieren. Ich habe einige bestehende und Open-Source-Projekte von logischen/deklarativen Programmiersys

logic prolog logic-programming mercury curry 2010-06-01

---