ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

از زمان شکل گیری آن در حدود 20 سال پیش، برنامه نویسی منطقی به حدی توسعه یافته است که اکنون نقش مهمی در زمینه هایی مانند نظریه پایگاه داده، هوش مصنوعی و مهندسی نرم افزار ایفا می کند. با این حال، هنوز بسیاری از موضوعات تحقیقاتی برجسته وجود دارد که باید به آنها پرداخته شود، و شعبه بریتانیا از انجمن برنامه‌نویسی منطقی به منظور فراهم کردن انجمنی ایجاد شد که در آن جامعه تحقیقاتی در حال شکوفایی بتوانند در مورد موضوعات مهمی که غالباً در کنفرانس های بین المللی بزرگتر این جلد شامل مقالات دعوت شده، مقالات داوری و آموزش های ارائه شده در چهارمین کنفرانس ALPUK است که هدف آن گسترش مرزهای برنامه نویسی منطقی از طریق تشویق تعامل بین آن و سایر رشته های مرتبط است. این مقالات حوزه‌های فنی مختلفی را شامل می‌شوند، از جمله زبان‌های منطقی همزمان و معناشناسی آن‌ها، کاربرد زبان‌های منطقی در سایر سیستم‌های منطقی (غیر کلاسیک)، ماژول‌ها، انواع و مدیریت خطا، و اجرای توزیع‌شده برنامه‌های Prolog. دامنه گسترده مقالات نشان دهنده وسعت علاقه در این زمینه مهم از علوم کامپیوتر است. ALPUK 92 یک نمای کلی از پیشرفت فعلی در تحقیقات برنامه ریزی منطقی ارائه می دهد. این مورد برای همه کارگران در این زمینه، به ویژه محققان، دانشجویان تحصیلات تکمیلی، و کارگران تحقیق و توسعه در صنعت مورد علاقه خواهد بود.

Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need to be addressed, and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues which were often by- passed at the larger international conferences. This volume contains the invited papers, refereed papers and tutorials presented at the 4th ALPUK Conference, which aimed to broaden the frontiers of logic programming by encouraging interaction between it and other related disciplines. The papers cover a variety of technical areas, including concurrent logic languages and their semantics, applications of logic languages to other (non-classical) logical systems, modules, types and error-handling, and the distributed execution of Prolog programs. The wide scope of the papers refelects the breadth of interest in this important area of computer science. ALPUK 92 provides a comprehensive overview of current progress being made in logic programming research. It will be of interest to all workers in the field, especially researchers, postgraduate students, and research and development workers in industry.