Terms and Constraints
Different definitions of terms are used, generating different kinds of constraint logic programming: over trees, reals, or finite domains. A kind of constraint that is always present is the equality of terms. Such constraints are necessary because the interpreter adds t1=t2 to the goal whenever a literal P(...t1...) is replaced with the body of a clause fresh variant whose head is P(...t2...).
Read more about this topic: Constraint Logic Programming
Famous quotes containing the words terms and/or constraints:
“As for the terms good and bad, they indicate no positive quality in things regarded in themselves, but are merely modes of thinking, or notions which we form from the comparison of things with one another. Thus one and the same thing can be at the same time good, bad, and indifferent. For instance music is good for him that is melancholy, bad for him who mourns; for him who is deaf, it is neither good nor bad.”
—Baruch (Benedict)
“Play is a major avenue for learning to manage anxiety. It gives the child a safe space where she can experiment at will, suspending the rules and constraints of physical and social reality. In play, the child becomes master rather than subject.... Play allows the child to transcend passivity and to become the active doer of what happens around her.”
—Alicia F. Lieberman (20th century)