The NCL Natural Constraint Language

\"زبان محدودیت طبیعی NCL\"زبان NCL را ارائه می‌کند که یک زبان توصیفی در منطق ریاضی مرسوم برای مدل‌سازی و حل مشکلات رضایت از محدودیت است. NCL با سایر زبان‌های اعلانی متفاوت است: مشکلات را به طور طبیعی به شکل ساده‌شده‌ای از منطق مرتبه اول با کمی‌سازها، منطق بولی، محدودیت‌های عددی، عملیات مجموعه و توابع منطقی مدل‌سازی می‌کند. مشکلات را با برنامه نویسی مجموعه های مختلط بر روی دامنه مختلط اعداد حقیقی، اعداد صحیح، بولی ها، تاریخ/زمان ها، مراجع و به ویژه مجموعه های خاص حل می کند. این کتاب از مثال ها و آموزش های زیادی برای نشان دادن NCL و کاربردهای آن استفاده می کند. این برای محققان و توسعه دهندگان در زمینه های برنامه نویسی منطقی، برنامه نویسی محدودیت، بهینه سازی، مدل سازی، تحقیق در عملیات و هوش مصنوعی در نظر گرفته شده است که از یک زبان برنامه نویسی جدید و مبانی نظری برای کاربردهای صنعتی یاد می گیرند.

Dr. . جیانیانگ ژو مخترع NCL است و بیش از 10 سال برای صنعتی سازی آن تلاش کرده است.

"The NCL Natural Constraint Language"presents the NCL language which is a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. NCL differs from other declarative languages: It models problems naturally in a simplified form of first-order logic with quantifiers, Boolean logic, numeric constraints, set operations and logical functions; it solves problems by mixed set programming over the mixed domain of real numbers, integers, Booleans, dates/times, references, and in particular sets. The book uses plenty of examples and tutorials to illustrate NCL and its applications. It is intended for researchers and developers in the fields of logic programming, constraint programming, optimization, modeling, operations research and artificial intelligence, who will learn from a new programming language and theoretical foundations for industrial applications.

Dr. Jianyang Zhou is the inventor of NCL and has worked for its industrialization for more than 10 years.