Jisho

×
制約論理プログラミング
Links
Wikipedia definition
1. Constraint logic programming​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 . In this clause, is a constraint;,, and are literals as in regular logic programming. This clause states one condition under which the statement holds: is greater than zero and both and are true.
Read “Constraint logic programming” on English Wikipedia
Read “制約論理プログラミング” on Japanese Wikipedia
Read “Constraint logic programming” on DBpedia

Discussions

to talk about this word.