wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

datalog_negation (364B)

      1 # Datalog negation
      2 
      3 Semantics problem: [negation_semantics]
      4 - because [Datalog_inference] it is no longer [monotone]
      5 
      6 Simple solution: [negation_stratified], i.e., adding [negation] only to [datalog_stratified], with negations on predicates of lower [Datalog_stratum]
      7 
      8 Recent work on this: [shaikhha2024optimizing]
      9 
     10 See also: [fixpoint]
     11 
     12 Up: [datalog], [negation]