This is the best explainer for what is stratified datalog, why is stratification even needed, and how to use them, and how to find them in the first place. Google's regular search shows completely useless results for this. I had to come to RUclips to find this gem of a video.
This is the best explainer for what is stratified datalog, why is stratification even needed, and how to use them, and how to find them in the first place. Google's regular search shows completely useless results for this. I had to come to RUclips to find this gem of a video.
00:00: Introduction & Recap
2:01: Negation
5:32: Semantics of negation (1)
9:08: Semantics of negation (2)
15:04: Semantics of negation (3)
20:33 Stratified negation
25:11: Evalutating Stratified rules
30:11: The perfect model
34:24: Obtaining a stratification
38:22: Outlook: Beyond stratified negation
👍