constraint programming embedding of constraints in host language. first host languages used logic programming languages, field called constraint logic programming. 2 paradigms share many important features, logical variables , backtracking. today prolog implementations include 1 or more libraries constraint logic programming.
the difference between 2 largely in styles , approaches modeling world. problems more natural (and thus, simpler) write logic programs, while more natural write constraint programs.
the constraint programming approach search state of world in large number of constraints satisfied @ same time. problem typically stated state of world containing number of unknown variables. constraint program searches values variables.
temporal concurrent constraint programming (tcc) , non-deterministic temporal concurrent constraint programming (mjv) variants of constraint programming can deal time.
Comments
Post a Comment