'The NCL Natural Constraint Language' presents the NCL language which is a description language in conventional mathematical logic for modeling and solvingconstraint satisfaction problems. NCL differs from other declarative languages because it is principally a context-sensitive grammar language which incorporates a simplified form of first-order logic, numerical constraints and set operations; and it solves problems by Mixed Set Programming over a mixed domain of reals, integers, Booleans, and sets. The book uses plenty of illustrations and tutorials to present NCL and its applications. It is intended for researchers in the fields of constraint programming, logic programming, optimization, modeling, operations research and artificial intelligence, who will learn froma new programming language and theoretical foundations for industrial applications. Dr. Jianyang Zhou is a computer scientist at Enginest, France. The first book available in English for the NCL language. Presents a description language in mathematical logic, proved practical in industry. Foreword by Alain Colmerauer, father of Prolog. Provides theoretical foundations on modeling and software engineering for industrial applications. Includes plenty oftutorials and modeling examples from both academy and industry. INDICE: Introduction. Lexical Conventions of NCL. Syntax and Semantics of NCL. POEM® Software Platform for The NCL Language. Modeling and Solving In NCL. Industrial Applications of NCL.
- ISBN: 978-3-642-23844-4
- Editorial: Springer Berlin Heidelberg
- Encuadernacion: Cartoné
- Páginas: 320
- Fecha Publicación: 31/10/2011
- Nº Volúmenes: 1
- Idioma: Inglés