Ich möchte ein Prädikat, das Abcendo, schreiben, das erklärt, dass die erste gegebene Koordinate [y, x] auf die zweite gegebene Koordinate abfällt (stellen Sie sich die Tafel mit [0 vor , 0] in der li
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
Ich habe versucht, in einer Abfrage in core.logic eingeben: (run* [q] (== 0 (+ (* q q) (* 4 q) 4)))
Und die Aufforderung sagt error: lvar cannot be cast to a number
Für den Fall, dass ich nicht vö