logic-programming

6Hitze

2Antwort

Goal-Bestellung in Clojure `core.logic`

The following Clojure code verwendet core.logic, um das gleiche logische Problem mit den gleichen Zielen in zwei verschiedenen Ordnungen zu lösen. Diese Wahl der Reihenfolge bewirkt, dass man schnell

clojure logic-programming clojure-core.logic 2013-01-13

---

3Hitze

1Antwort

Invariante Induktion über Hornsätze mit Z3py

Ich verwende Z3py, um einige Invarianten abzuleiten, die als eine Konjunktion von Hornsätzen kodiert sind, während sie auch eine Vorlage für die Invariante liefern. Ich fange zuerst mit einem einfache

logic z3 z3py logic-programming 2016-08-06

---

5Hitze

4Antwort

Prolog: Aufzählen aller Elemente von unendlich unendlichen Ergebnissen

Gibt es Prolog-Implementierungen, die alle Elemente von abzählbar unendlichen Ergebnissen aufzählen können? Betrachten wir alle Paare von natürlichen Zahlen aufzählen. Wenn wir Paare in der Reihenfolg

prolog logic-programming 2015-02-10

---

5Hitze

1Antwort

Erweiterung core.logic, um benutzerdefinierte Typen

ich mit core.logic experimentieren, und möchte meine eigenen benutzerdefinierten Datentyp ermöglichen, in logischen Ausdrücken teilnehmen: (deftype Expression [node vars] ....) Im Grunde ist di

clojure protocols logic-programming clojure-core.logic 2013-03-24

---

11Hitze

1Antwort

Wie finde ich die optimale Verarbeitungsreihenfolge?

Ich habe eine interessante Frage, aber ich bin nicht sicher genau, wie Begriff es ... das Lambda-Kalkül Betrachten. Für einen gegebenen Lambda-Ausdruck gibt es mehrere mögliche Reduktionsordnungen. Ab

haskell logic lambda-calculus logic-programming 2012-06-04

---

4Hitze

1Antwort

Unterschied zwischen Logikprogrammierung und automatisiertem Theorembeweis

Was ist der Unterschied zwischen Logikprogrammierung und automatisiertem Theorembeweis (ATP) (z. B. mit E-Prover, Spass oder Princess)? Ich suchte viel und die einzige Information, die ich fand, ist,

prolog theorem-proving logic-programming 2016-03-31

---

7Hitze

2Antwort

Herbrand Universum und Least Herbrand Modell

Ich lese die Frage in Herbrand universe, Herbrand Base and Herbrand Model of binary tree (prolog) und die Antworten gegeben, aber ich habe eine etwas andere Frage mehr wie eine Bestätigung und hoffent

prolog logic-programming 2014-01-27

---

5Hitze

2Antwort

Wie implementiert man vollständig deklarative Horn Logik?

Ich möchte etwas Wissen formalisieren und führen Sie Abfragen in was bezeichnet als vollständig deklarative Horn logic (oder vollständig deklarative Prolog). Könnte jemand einige Richtlinien zur Umset

prolog theorem-proving logic-programming formal-verification minikanren 2015-07-28

---

9Hitze

2Antwort

Am nützlichsten und lehrreichsten funktional-Logik Sprache zu lernen

Ich war ziemlich erstaunt über die 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 i

functional-programming logic-programming mercury curry 2013-07-16

---

6Hitze

1Antwort

Auflistung von DAG-Eltern mit core.logic

Hier ist ein (hoffentlich) einfaches logisches Programm, mit dem ich schon eine ganze Weile beschäftigt bin. Ich habe eine DAG durch eine Kantenbeziehung in core.logic dargestellt, wenn ich die Liste

clojure logic-programming clojure-core.logic minikanren 2012-09-24

---