About: Logic programming

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	1188828 (xsd:integer)
dbo:wikiPageRevisionID	975655782 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_category dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Logic programming (en)
skos:broader	dbc:Artificial_intelligence dbc:Declarative_programming dbc:Logic_in_computer_science
skos:prefLabel	Logic programming (en)
prov:wasDerivedFrom	wikipedia-en:Category:Logic_programming?oldid=975655782&ns=14
is dbo:wikiPageWikiLink of	dbr:Belief_revision dbr:Scientific_community_metaphor dbr:Negation_as_failure dbr:Answer_set_programming dbr:Unification_(computer_science) dbr:Default_logic dbr:Defeasible_logic dbr:Defeasible_reasoning dbr:Definite_clause_grammar dbr:Inductive_programming dbr:Reasoning_system dbr:Concurrent_logic_programming dbr:Narrowing_of_algebraic_value_sets dbr:Coinduction dbr:Concurrent_constraint_logic_programming dbr:Conflict_resolution_strategy dbr:Constraint_logic_programming dbr:Clause_(logic) dbr:Closed-world_assumption dbr:Functional_logic_programming dbr:Substitution_(logic) dbr:Occurs_check dbr:Logic_programming dbr:MiniKanren dbr:Cut_(logic_programming) dbr:Dis-unification_(computer_science) dbr:Focused_proof dbr:Frame_problem dbr:Production_system_(computer_science) dbr:Qualification_problem dbr:Ramification_problem dbr:BNR_Prolog dbr:TerminusDB dbr:Term_indexing dbr:Artificial_intelligence_in_fraud_detection dbr:Abductive_logic_programming dbr:Advice_taker dbr:Higher-order_abstract_syntax dbr:Yale_shooting_problem dbr:Autoepistemic_logic dbr:CLP(R) dbr:Circumscription_(logic) dbr:Guarded_Command_Language dbr:Indeterminacy_in_concurrent_computation dbr:Open-world_assumption dbr:Situation_calculus dbr:SLD_resolution dbr:Warren_Abstract_Machine dbr:Well-founded_semantics dbr:Structural_synthesis_of_programs dbr:Event_calculus dbr:Stable_model_semantics
is dcterms:subject of	dbr:Belief_revision dbr:Scientific_community_metaphor dbr:Negation_as_failure dbr:Answer_set_programming dbr:Unification_(computer_science) dbr:Default_logic dbr:Defeasible_logic dbr:Defeasible_reasoning dbr:Definite_clause_grammar dbr:Inductive_programming dbr:Reasoning_system dbr:Concurrent_logic_programming dbr:Narrowing_of_algebraic_value_sets dbr:Coinduction dbr:Concurrent_constraint_logic_programming dbr:Conflict_resolution_strategy dbr:Constraint_logic_programming dbr:Clause_(logic) dbr:Closed-world_assumption dbr:Functional_logic_programming dbr:Substitution_(logic) dbr:Occurs_check dbr:Logic_programming dbr:MiniKanren dbr:Cut_(logic_programming) dbr:Dis-unification_(computer_science) dbr:Focused_proof dbr:Frame_problem dbr:Production_system_(computer_science) dbr:Qualification_problem dbr:Ramification_problem dbr:BNR_Prolog dbr:TerminusDB dbr:Term_indexing dbr:Artificial_intelligence_in_fraud_detection dbr:Abductive_logic_programming dbr:Advice_taker dbr:Higher-order_abstract_syntax dbr:Yale_shooting_problem dbr:Autoepistemic_logic dbr:CLP(R) dbr:Circumscription_(logic) dbr:Guarded_Command_Language dbr:Indeterminacy_in_concurrent_computation dbr:Open-world_assumption dbr:Situation_calculus dbr:SLD_resolution dbr:Warren_Abstract_Machine dbr:Well-founded_semantics dbr:Structural_synthesis_of_programs dbr:Event_calculus dbr:Stable_model_semantics
is skos:broader of	dbc:Normal_forms_(logic) dbc:Automated_theorem_proving dbc:Inductive_logic_programming dbc:Unification_(computer_science) dbc:Logic_programming_languages dbc:Logic_programming_researchers dbc:Substitution_(logic) dbc:Constraint_logic_programming dbc:Constraint_programming