Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Constraint_logic_programming> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Constraint_logic_programming abstract "Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is A(X,Y) :- X+Y>0, B(X), C(Y). In this clause, X+Y>0 is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.As in regular logic programming, programs are queried about the provability of a goal, which may contain constraints in addition to literals. A proof for a goal is composed of clauses whose bodies are satisfiable constraints and literals that can in turn be proved using other clauses. Execution is performed by an interpreter, which starts from the goal and recursively scans the clauses trying to prove the goal. Constraints encountered during this scan are placed in a set called constraint store. If this set is found out to be unsatisfiable, the interpreter backtracks, trying to use other clauses for proving the goal. In practice, satisfiability of the constraint store may be checked using an incomplete algorithm, which does not always detect inconsistency.".
- Constraint_logic_programming wikiPageExternalLink index.html.
- Constraint_logic_programming wikiPageID "4249442".
- Constraint_logic_programming wikiPageRevisionID "567585744".
- Constraint_logic_programming hasPhotoCollection Constraint_logic_programming.
- Constraint_logic_programming subject Category:Constraint_programming.
- Constraint_logic_programming subject Category:Logic_programming.
- Constraint_logic_programming type Genre.
- Constraint_logic_programming type MusicGenre.
- Constraint_logic_programming type TopicalConcept.
- Constraint_logic_programming type Concept.
- Constraint_logic_programming comment "Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is A(X,Y) :- X+Y>0, B(X), C(Y). In this clause, X+Y>0 is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming.".
- Constraint_logic_programming label "Constraint logic programming".
- Constraint_logic_programming label "制約論理プログラミング".
- Constraint_logic_programming sameAs 制約論理プログラミング.
- Constraint_logic_programming sameAs m.0bs9hr.
- Constraint_logic_programming sameAs Q5164378.
- Constraint_logic_programming sameAs Q5164378.
- Constraint_logic_programming wasDerivedFrom Constraint_logic_programming?oldid=567585744.
- Constraint_logic_programming isPrimaryTopicOf Constraint_logic_programming.