About: Constraint logic programming

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

Programming paradigm which combines logic programming and constraint satisfaction

Property	Value
dbo:description	programming paradigm which combines logic programming and constraint satisfaction (en) парадигма програмування, що поєднує логічне програмування та задоволення обмежень (uk)
dbo:wikiPageExternalLink	https://archive.org/details/principlesofcons0000aptk https://archive.org/details/constraintproces00rina
dbo:wikiPageWikiLink	dbr:Backtracking dbr:Unit_propagation dbc:Logic_programming dbr:Logic_programming dbr:Evaluation_strategy dbr:Constraint_satisfaction_problem dbr:Recursion dbr:Real_number dbr:Singleton_(mathematics) dbr:GNU_Prolog dbr:Local_consistency dbr:Oz_(programming_language) dbr:CHIP_(programming_language) dbr:CLP(R) dbc:Constraint_logic_programming dbr:LIFO_(computing) dbr:Constraint_programming dbr:Infinite_loop dbr:Civil_engineering dbr:Mechanical_engineering dbr:Automated_planning_and_scheduling dbr:Ground_term dbr:Bound_consistency dbr:Air_traffic_control dbr:Interpreter_(computing) dbr:Variable_elimination dbr:Literal_(mathematical_logic) dbc:Constraint_programming dbr:Type_inference dbr:Ciao_(programming_language) dbr:SWI-Prolog dbr:Constraint_Handling_Rules dbr:ECLiPSe dbr:BNR_Prolog dbr:Top-down_and_bottom-up_design dbr:Entailment dbr:Constraint_satisfaction dbr:Digital_circuit dbr:BProlog dbr:Concurrent_process dbr:Constraint_handling_rules dbr:Constraint_propagation dbr:Depth-first dbr:Hyper-arc_consistency dbr:Unification_(computing) dbr:Arc_consistency dbr:Integer_number dbr:Prolog_III dbr:Prolog_II
dbp:wikiPageUsesTemplate	dbt:Sxhl dbt:Cite_book dbt:Main dbt:Reflist dbt:Code dbt:Cite_journal dbt:See_also dbt:ISBN dbt:Citation_needed dbt:Programming_paradigms_navbox dbt:Mvar dbt:Short_description
dct:subject	dbc:Logic_programming dbc:Constraint_logic_programming dbc:Constraint_programming
gold:hypernym	dbr:Form
rdfs:label	Constraint logic programming (en) 制約論理プログラミング (ja)
rdfs:seeAlso	dbr:Constraint_satisfaction_problem
owl:sameAs	freebase:Constraint logic programming wikidata:Constraint logic programming dbpedia-ja:Constraint logic programming dbpedia-sr:Constraint logic programming dbpedia-global:Constraint logic programming
prov:wasDerivedFrom	wikipedia-en:Constraint_logic_programming?oldid=1283591326&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Constraint_logic_programming
is dbo:genre of	dbr:ECLiPSe
is dbo:wikiPageRedirects of	dbr:Finite_domain_constraint dbr:Constraint_Logic_Programming dbr:Finite_constraint dbr:Constraint-logic_programming dbr:Constraint_Logic_Programmimg dbr:Constraint_store dbr:CLP(FD)
is dbo:wikiPageWikiLink of	dbr:Let_expression dbr:Narrowing_of_algebraic_value_sets dbr:Logic_programming dbr:Satisfiability_modulo_theories dbr:Prolog dbr:Futures_and_promises dbr:Local_consistency dbr:Symbolic_artificial_intelligence dbr:CHIP_(programming_language) dbr:CLP(R) dbr:SAT_solver dbr:Constraint_programming dbr:Event_calculus dbr:Alain_Colmerauer dbr:Finite_domain_constraint dbr:Inequation dbr:Expert_system dbr:Glossary_of_artificial_intelligence dbr:SWI-Prolog dbr:Concolic_testing dbr:Concurrent_constraint_logic_programming dbr:Constraint_Handling_Rules dbr:B-Prolog dbr:ECLiPSe dbr:Semantic_spectrum dbr:Outline_of_computer_programming dbr:BNR_Prolog dbr:Constraint_Logic_Programming dbr:Finite_constraint dbr:Dis-unification_(computer_science) dbr:Constraint-logic_programming dbr:Constraint_Logic_Programmimg dbr:Constraint_store dbr:CLP(FD)
is dbp:genre of	dbr:ECLiPSe
is dbp:paradigms of	dbr:Constraint_Handling_Rules
is foaf:primaryTopic of	wikipedia-en:Constraint_logic_programming