Re: Question regarding core.logic

2017-09-06 Thread Russell Mull
On Tuesday, September 5, 2017 at 2:03:36 PM UTC-7, Laverne Schrock wrote: > > > On Tuesday, September 5, 2017 at 1:50:59 PM UTC-5, Russell Mull wrote: >> >> It's not really clear what you're trying to do, so it's hard to offer >> further advice. >> > > Essentially, what I'm trying to do is pass

Re: Question regarding core.logic

2017-09-05 Thread Laverne Schrock
On Tuesday, September 5, 2017 at 1:50:59 PM UTC-5, Russell Mull wrote: > > On Monday, September 4, 2017 at 7:49:11 AM UTC-7, Laverne Schrock wrote: >> >> When I run (run* [q] (fresh [x] (== [x] ['z]) (== q x))), I get (z), >> which makes sense. >> >> When I run (run* [q] (fresh [x] (== q x))), I

Re: Question regarding core.logic

2017-09-05 Thread Russell Mull
On Monday, September 4, 2017 at 7:49:11 AM UTC-7, Laverne Schrock wrote: > > When I run (run* [q] (fresh [x] (== [x] ['z]) (== q x))), I get (z), > which makes sense. > > When I run (run* [q] (fresh [x] (== q x))), I get (_0), which makes sense > since I've placed no restriction on x. > > However

Question regarding core.logic

2017-09-04 Thread Laverne Schrock
When I run (run* [q] (fresh [x] (== [x] ['z]) (== q x))), I get (z), which makes sense. When I run (run* [q] (fresh [x] (== q x))), I get (_0), which makes sense since I've placed no restriction on x. However, when I run (run* [q] (fresh [x] (== ['x] ['z]) (== q x))), I get (), which doesn't m