Can you please show your implementation of the other functions?
On Thu, Mar 28, 2013 at 1:11 AM, JvJ wrote:
> The function i wrote below isn't working. (is-drink q) returns all drinks
> (I tested it), but hates-drink, which should return all drinks that aren't
> liked, doesn't return anything...
Expansion: Sorry, I seem to be wrong:
=> (doc !=)
clojure.core.logic/!=
([u v])
Disequality constraint. Ensures that u and v will never
unify. u and v can be complex terms.
On Thu, Mar 28, 2013 at 7:55 PM, Moritz Ulrich wrote:
> I haven't played around with the new additions to core.logic
I haven't played around with the new additions to core.logic, but it
seems to me that != only works for values, not for lvars.
On Thu, Mar 28, 2013 at 1:11 AM, JvJ wrote:
> The function i wrote below isn't working. (is-drink q) returns all drinks
> (I tested it), but hates-drink, which should re