datalog (900B)
1 # Datalog 2 3 ## Notions 4 5 - [proof_tree] 6 - [datalog_semantics] 7 - [Datalog_program] 8 - [Datalog_rule] 9 - [Intensional_predicate] 10 11 ## Datalog fragments 12 13 - [datalog_monadic] 14 - [datalog_linear] 15 - [datalog_symmetric_linear] 16 - [datalog_stratified_linear] 17 - [regular_path_query] 18 - [datalog_nonrecursive] 19 - [datalog_guarded] 20 - [datalog_frontier_guarded] 21 22 ## Datalog extensions 23 24 - [datalog_fuzzy] 25 - [datalogpm] 26 - [datalog_negation] 27 - [datalog_semiring] 28 - [datalog_aggregation] 29 30 ## [Computational_problems] 31 32 - [datalog_query_evaluation] 33 - [datalog_boundedness] 34 35 ## Questions 36 37 - [datalog_expressiveness] 38 39 ## Properties 40 41 - [homomorphism_closed] 42 43 ## Also 44 45 - [datalog_practice] 46 - [constraint_satisfaction_problem_datalog] 47 - [incremental_maintenance_datalog] 48 - [datalog_grounding] 49 - [datalog_rewriting] 50 51 Up: [query_language] 52 53 See also: [prolog], [answer_set_programming], [transitive_closure], [declarative_programming]