By Jianyang Zhou
"The NCL ordinary Constraint Language"presents the NCL language that is an outline language in traditional mathematical good judgment for modeling and fixing constraint delight difficulties. NCL differs from different declarative languages: It types difficulties obviously in a simplified kind of first-order good judgment with quantifiers, Boolean good judgment, numeric constraints, set operations and logical capabilities; it solves difficulties through combined set programming over the combined area of actual numbers, integers, Booleans, dates/times, references, and particularly units. The e-book makes use of lots of examples and tutorials to demonstrate NCL and its functions. it's meant for researchers and builders within the fields of good judgment programming, constraint programming, optimization, modeling, operations study and synthetic intelligence, who will study from a brand new programming language and theoretical foundations for commercial applications.
Dr. Jianyang Zhou is the inventor of NCL and has labored for its industrialization for greater than 10 years.