datalog_grounding (227B)
1 # Datalog grounding 2 3 We can transform a [Datalog_program] on a specific [database] into a [propositional_logic] formula by creating [variables] for each possible [fact] of an [intentional_predicate] 4 5 Up: [datalog], [grounding]