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
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
what am I doing wrong?
Thanks
(defn hates-drink
[d]
(fresh [d2]
(is-drink d)
(likes-drin
