http://dbpedia.org/page/Category:Logic_programming

Property	Value
rdf:type	skos:Concept
rdfs:label	Logic programming (en)
skos:broader	dbpedia:Category:Formal_methods dbpedia:Category:Logic_in_computer_science dbpedia:Category:Artificial_intelligence dbpedia:Category:Programming_paradigms
skos:prefLabel	Logic programming (en)
skos:broader	dbpedia:Category:Automated_theorem_proving dbpedia:Category:Logic_programming_languages
skos:subject	dbpedia:Abductive_logic_programming dbpedia:Advice_taker dbpedia:Answer_set_programming dbpedia:Autoepistemic_logic dbpedia:Belief_revision dbpedia:Clausal_normal_form dbpedia:Circumscription dbpedia:Closed_world_assumption dbpedia:Constraint_logic_programming dbpedia:Cut_%28logic_programming%29 dbpedia:Default_logic dbpedia:Defeasible_logic dbpedia:Defeasible_reasoning dbpedia:Event_calculus dbpedia:Frame_problem dbpedia:GNU_Prolog dbpedia:Guarded_Command_Language dbpedia:Higher-order_abstract_syntax dbpedia:Indeterminacy_in_concurrent_computation dbpedia:Inductive_logic_programming dbpedia:International_Symposium_on_Logic-based_Program_Synthesis_and_Transformation dbpedia:Intended_interpretation dbpedia:Logic_programming dbpedia:Negation_as_failure dbpedia:Occurs_check dbpedia:Open_world_assumption dbpedia:PROGOL dbpedia:Production_system dbpedia:Qualification_problem dbpedia:Ramification_problem dbpedia:SLD_resolution dbpedia:Scientific_community_metaphor dbpedia:Situation_calculus dbpedia:Stable_model_semantics dbpedia:Unification dbpedia:Warren_abstract_machine dbpedia:Well-founded_semantics dbpedia:Yale_shooting_problem

Logic programming