core-logic

ddrbt 2017-02-16T05:55:50.000333Z

Hey people, I'd appreciate some help here: I'm trying to build up a pldb/db which starts with some precedence relations between tasks and fills in the blanks. How can I write a relational function that identifies which tasks do not have a precedence relation with every other task? Here's some example code: [precedence-db](https://gist.github.com/daveduthie/f91dc1c9587daacbba50f6b656bb8cab)

ddrbt 2017-02-16T14:45:52.000343Z

Anyone?

2017-02-16T20:39:11.000349Z

you need to use, uh, there should be some negation of a goal operator, not sure what it is

2017-02-16T20:39:29.000350Z

instead of a disequality constraint

2017-02-16T20:40:31.000351Z

so you have a search for the join of tasks of precedences, and then search for the tasks where that search doesn't have any results