On Sun, Jun 30, 2013 at 12:58 PM, Steven Devijver <[email protected]>wrote:
> How does one recognize a relational or non-relational goal? If you are using anything that doesn't decompose down to the core relational operators, like == and conde, you are likely non-relational. In this case, you are asking questions like "is this value ground" which is clearly a stateful question about where you are in the search. (what you are doing is very similar to core.logic's project, and if you search for that you'll probably find some discussion of the issues) As a general rule, if you can change the order of your goals and get different answers, you are probably doing something non-relational. That doesn't mean to are doing something wrong - it just means you are going beyond the pure relational model and are potentially more constrained in how you can express your problem. (in this case, being order dependant) -- -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
