User loginNavigation |
Is Datalog negation(¬) similar to the built-in predicate (≠)?I was reading "Principles of Database & Knowledge-Base Systems, Vol. 1" by Jeffrey D. Ullman. There is a chapter about Datalog negation and as I was seeing the problems of negation I kept thinking that using the predicate ≠ would solve those problems. E.g.
would become:
but then I see the following:
The problem is this has 2 minimal models and if I'm not mistaken so does this:
Is there an equivalence between these 2 operators? If so, did I miss it or is it not mentioned that it's unsafe to use ≠ with recursion? By Milton Silva at 2017-07-04 08:48 | LtU Forum | previous forum topic | next forum topic | other blogs | 3143 reads
|
Browse archives
Active forum topics
|
Recent comments
18 weeks 3 days ago
22 weeks 5 days ago
24 weeks 2 days ago
24 weeks 2 days ago
27 weeks 15 hours ago
31 weeks 5 days ago
31 weeks 5 days ago
32 weeks 1 day ago
32 weeks 1 day ago
34 weeks 6 days ago