wiki_research

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

grounding (241B)

      1 # Grounding
      2 
      3 Go from [first_order_logic] to [propositional_logic] on a given [structure]
      4 by replacing [existential_quantifier] and [universal_quantifier] with [conjunction] and [disjunction] over [domain]
      5 
      6 - [datalog_grounding]
      7 
      8 Up: [logic]