Re: [core.logic] Detecting overlapping FDs

2012-10-31 Thread David Nolen
On Wed, Oct 31, 2012 at 12:00 AM, Anthony Rosequist < anthony.rosequ...@gmail.com> wrote: > I updated my gist with a solution that's working: > > https://gist.github.com/3981557 > > Unfortunately, I had to copy my conde expression 3 times (to cover all > combinations of the three tasks). So, what

Re: [core.logic] Detecting overlapping FDs

2012-10-30 Thread Anthony Rosequist
I updated my gist with a solution that's working: https://gist.github.com/3981557 Unfortunately, I had to copy my conde expression 3 times (to cover all combinations of the three tasks). So, what I really need to know is if there's a way for me to write those three condes as one goal that takes

Re: [core.logic] Detecting overlapping FDs

2012-10-30 Thread Anthony Rosequist
On Tuesday, October 30, 2012 9:26:25 PM UTC-5, David Nolen wrote: > > Even so I don't really understand the time conditions you've described at > all. Can you please clarify or draw a simple picture with text what results > you are expecting? I'm a bit confused by your task facts in particular, f

Re: [core.logic] Detecting overlapping FDs

2012-10-30 Thread David Nolen
On Tue, Oct 30, 2012 at 8:58 PM, Anthony Rosequist < anthony.rosequ...@gmail.com> wrote: > (conde > [(!= person1 person2)] > [(<=fd start2 start1) (<=fd end2 start1)] > [(<=fd end1 start2) (<=fd end1 end2)]) > Here's a version that at least guarantees that people aren't appearing in the tas

Re: [core.logic] Detecting overlapping FDs

2012-10-30 Thread Anthony Rosequist
On Tuesday, October 30, 2012 6:48:28 PM UTC-5, David Nolen wrote: > On Tue, Oct 30, 2012 at 1:11 PM, Anthony Rosequist > > > wrote: > >> I'm playing around with core.logic, and have this code so far: >> >> https://gist.github.com/3981557 >> > > It might help to understand exactly what kind of ou

Re: [core.logic] Detecting overlapping FDs

2012-10-30 Thread David Nolen
On Tue, Oct 30, 2012 at 1:11 PM, Anthony Rosequist < anthony.rosequ...@gmail.com> wrote: > I'm playing around with core.logic, and have this code so far: > > https://gist.github.com/3981557 > It might help to understand exactly what kind of output were you expecting. David -- You received this

Re: [core.logic] Detecting overlapping FDs

2012-10-30 Thread David Nolen
On Tue, Oct 30, 2012 at 1:11 PM, Anthony Rosequist < anthony.rosequ...@gmail.com> wrote: > I'm playing around with core.logic, and have this code so far: > > https://gist.github.com/3981557 > > There are 2 people and 3 tasks. Each task has a start time (you can't > start the task until this time o