core.logic

• Type: Defect
• Status: Resolved
• Priority: Major
• Resolution: Completed
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  None

Inserting facts into a relation that is defined in another namespace, specifically a namespace that has been required but not referred (I don't see the bug if I :use the other namespace).

I've tracked the problem down to this line:

https://github.com/clojure/core.logic/blob/master/src/main/clojure/clojure/core/logic.clj#L1621

In the facts function, when the relation index gets resolved, the namespace is not taken into account,

index (var-get (resolve (index-sym (.name rel) arity o)))

as it is when resolving the relation set.

rel-set (var-get (ns-resolve rel-ns (set-sym (.name rel) arity)))

Using ns-resolve, with rel-ns, seems to fix the issue for me.

index (var-get (ns-resolve rel-ns (index-sym (.name rel) arity o)))

1. 

   0001-Fixed-issue-resolving-the-clojure.core.logic.Rel-ind.patch

   03/May/12 12:29 PM

   2 kB

   David Edgar Liebke

• Assignee:

  David Nolen

  Reporter:

  David Edgar Liebke

• Created:

  03/May/12 12:29 PM

  Updated:

  27/Sep/12 9:52 PM

  Resolved:

  27/Sep/12 9:52 PM