About: Logic programming

Property	Value
rdf:type	skos:Concept
rdfs:label	Logic programming
skos:broader	dbpedia:Category:Artificial_intelligence dbpedia:Category:Logic_in_computer_science dbpedia:Category:Programming_paradigms
skos:prefLabel	Logic programming
is skos:broader of	dbpedia:Category:Automated_theorem_proving dbpedia:Category:Logic_programming_languages dbpedia:Category:Normal_forms_(logic)
is skos:subject of	dbpedia:Logic_programming dbpedia:Production_system dbpedia:Inductive_logic_programming dbpedia:Occurs_check dbpedia:Warren_abstract_machine dbpedia:Abductive_logic_programming dbpedia:Cut_(logic_programming) dbpedia:Concurrent_constraint_logic_programming dbpedia:Frame_problem dbpedia:Guarded_Command_Language dbpedia:Closed_world_assumption dbpedia:Golem_(ILP) dbpedia:Conflict_resolution_strategy dbpedia:Higher-order_abstract_syntax dbpedia:International_Symposium_on_Logic-based_Program_Synthesis_and_Transformation dbpedia:Negation_as_failure dbpedia:Advice_taker dbpedia:Autoepistemic_logic dbpedia:Circumscription_(logic) dbpedia:Clausal_normal_form dbpedia:Constraint_logic_programming dbpedia:Indeterminacy_in_concurrent_computation dbpedia:Intended_interpretation dbpedia:Open_world_assumption dbpedia:Situation_calculus dbpedia:Unification dbpedia:Answer_set_programming dbpedia:Belief_revision dbpedia:Default_logic dbpedia:Defeasible_reasoning dbpedia:Defeasible_logic dbpedia:Event_calculus dbpedia:SLD_resolution dbpedia:Well-founded_semantics dbpedia:Qualification_problem dbpedia:Ramification_problem dbpedia:Scientific_community_metaphor dbpedia:Stable_model_semantics dbpedia:Yale_shooting_problem