Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

l

* src/main/clojure/clojure/core/logic.clj: note about handling constraints that need to check prefix
  • Loading branch information...
commit 5fc8bfa12b700845adddc8735c3c8dffb598091c 1 parent 15311a8
David Nolen authored
Showing with 4 additions and 0 deletions.
  1. +4 −0 src/main/clojure/clojure/core/logic.clj
View
4 src/main/clojure/clojure/core/logic.clj
@@ -1834,6 +1834,10 @@
(updateg lhs rhs)
(loop (rest lp)))))) (.l ap))))
+;; NOTE: this seems costly if the user introduces a constraint
+;; update-prefix should be called only if we have a constraint
+;; in the store that needs this
+
(defn ==
"A goal that attempts to unify terms u and v."
[u v]
Please sign in to comment.
Something went wrong with that request. Please try again.