L.S. Sterling. Intelligent Systems - Concepts and Applications, chapter Of Using Constraint Logic Programming for Design of Mechanical Parts, pages 107--116. Plenum Press, 1993.  Home/Search   Document Not in Database   Summary   Related Articles

....the use of the assignment operator = instead of the equality operator = Given F or C, the other can be computed by extracting the appropriate program. Constraint programming has been attractive in many application areas such as user interfaces [San94] modeling, and design [Med95, MM89, Ste93] due to its ability to encapsulate many different problems (view any of the variables as unknown) within a single constraint specification. Logic languages [CM84] are specific instances of constraint languages in that the constraints in logic languages are expressed using predicate calculus. In ....

....2.2.1 Linear and Non linear Constraints Linear and non linear constraints have been distinguished in Section 2.1. While many of the earlier constraint systems dealt with linear constraints, a number of current systems such as CAL [SA89] and CLP(BNR) OB93] and architectures [MR95, Rue95, Ste93] handle non linear constraints. Interesting areas of related research are linear and non linear programming. 2.2.2 One way and Multi way Constraints One way constraints compute a function and assign the result to a variable. For example, a = b c (treated as a one way constraint) evaluates b ....

L.S. Sterling. Intelligent Systems - Concepts and Applications, chapter Of Using Constraint Logic Programming for Design of Mechanical Parts, pages 107--116. Plenum Press, 1993.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC