Constraint Handling Rules: Current Research Topics

زبان قوانین کنترل محدودیت (CHR) یک زبان برنامه نویسی منطقی محدودیت انتخاب متعهد همزمان اعلامی است که از قوانین محافظت شده تشکیل شده است که چندین مجموعه از روابط به نام محدودیت ها را تغییر می دهد تا زمانی که تغییر دیگری رخ ندهد.

زبان CHR بیش از 15 سال پیش نور را دید. از آن زمان به بعد، این زبان به یک زبان مشخص و پیاده سازی اصلی برای الگوریتم ها و برنامه های مبتنی بر محدودیت تبدیل شده است. در سال‌های اخیر، پنج کارگاه آموزشی در مورد قوانین رسیدگی به محدودیت‌ها باعث تبادل ایده‌ها در جامعه CHR شده است که منجر به افزایش همکاری‌های بین‌المللی، نتایج نظری جدید و پیاده‌سازی بهینه شده است.

هدف این جلد جذب مقالات تحقیقاتی با کیفیت بالا در مورد این پیشرفت های اخیر در قوانین مدیریت محدودیت بود. 7 مقاله ارائه شده همراه با یک مقاله مقدماتی در مورد CHR موضوعات جستجو، کاربردها، تئوری و اجرای CHR را پوشش می دهد.

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs.

The CHR language saw the light more than 15 years ago. Since then, it has become a major declarative specification and implementation language for constraint-based algorithms and applications. In recent years, five workshops on constraint handling rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations.

The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules. The 7 papers presented together with an introductory paper on CHR cover topics on search, applications, theory, and implementation of CHR.