## User login## Navigation |
## archives## 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? |
## Browse archives## Active forum topics |

## Recent comments

2 hours 12 min ago

4 hours 16 min ago

5 hours 34 min ago

6 hours 19 min ago

6 hours 43 min ago

6 hours 52 min ago

7 hours 52 min ago

8 hours 13 min ago

9 hours 24 min ago

17 hours 57 min ago