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:
“Again we have here two distinctions that are no distinctions, but made to seem so by terms invented by I know not whom to cover ignorance, and blind the understanding of the reader: for it cannot be conceived that there is any liberty greater, than for a man to do what he will.”
—Thomas Hobbes (1579–1688)
“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)