wiki_research

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

datalog_stratified_linear (269B)

      1 # Datalog stratified linear
      2 
      3 [Datalog_stratified] but at most one [intensional_predicate] of the current [stratum] in each [rule] body
      4 
      5 Expresses [first_order_logic] with [transitive_closure], cf [consens1990graphlog], [graedel1992transitive]
      6 
      7 Up: [datalog_stratified]