Also, since I can't find the function lvar-in?, I'm assuming it works
something like this:
(defn lvar-in?
[a x]
(lvar? (walk a x)))
On Monday, 11 March 2013 14:34:12 UTC-4, JvJ wrote:
>
> Thanks for pointing out the conversation! It helps. So did the article.
>
> All this logic programming
Thanks for pointing out the conversation! It helps. So did the article.
All this logic programming makes my brain hurt... but in a good way.
On Monday, 11 March 2013 06:11:30 UTC-4, Ambrose Bonnaire-Sergeant wrote:
>
> Hi,
>
> There's a brief transcript of a conversation with Tassilo under the
Hi,
There's a brief transcript of a conversation with Tassilo under the ns.
He also wrote a nice blog post on the technique
http://tsdh.wordpress.com/2012/01/06/using-clojures-core-logic-with-custom-data-structures/
Thanks,
Ambrose
On Mon, Mar 11, 2013 at 12:21 PM, JvJ wrote:
> I understand t
I understand that it is possible, and I have found a code example here
:
https://github.com/frenchy64/Logic-Starter/blob/master/src/logic_introduction/extend.clj#L76
However, the code presented is rather terse, and some functions, such as
lvar-in? aren't documented.
Does anyone know of somethi
