Re: core.logic with functions

2014-04-29 Thread Phillip Lord
It was! Thank you very much. Phil Jean Niklas L'orange jeann...@hypirion.com writes: If you want to say the goal g(x) shall succeed, for all x in this list, then use `everyg` from clojure.core.logic instead of map. I think it is exactly what you're looking for. On Monday, April 28, 2014

core.logic with functions

2014-04-28 Thread Phillip Lord
I can do this with core.logic (yes, I know that match-list isn't doing anything much here) (defn match-list [member list] (membero member list)) (run* [q] (match-list 10 [1 10 100]) (== q worked)) For q to come back with any values then 10 has to be part of the list [1 10 100].

Re: core.logic with functions

2014-04-28 Thread Jean Niklas L'orange
Hey Phillip, If you want to say the goal g(x) shall succeed, for all x in this list, then use `everyg` from clojure.core.logic instead of map. I think it is exactly what you're looking for. On Monday, April 28, 2014 3:36:10 PM UTC+2, Phillip Lord wrote: I can do this with core.logic (yes,

Re: core.logic with functions

2014-04-28 Thread Norman Richards
On Mon, Apr 28, 2014 at 8:36 AM, Phillip Lord phillip.l...@newcastle.ac.ukwrote: I want to do the same thing where the second argument is a list of lists. So something like: [...] Is there a way to do this with functions -- or do I need to macro it? As was already mentioned, everyg is