ALPUK 91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991

برنامه‌نویسی منطقی از زمان ایده‌اش در حدود 20 سال پیش - ایده استفاده از منطق به‌عنوان یک زبان برنامه‌نویسی - تا جایی توسعه یافته است که اکنون نقش مهمی در زمینه‌هایی مانند نظریه پایگاه داده، هوش مصنوعی و مهندسی نرم‌افزار ایفا می‌کند. با این حال، هنوز بسیاری از مسائل چالش برانگیز تحقیقاتی وجود دارد که باید به آنها پرداخته شود و شعبه بریتانیا از انجمن برنامه نویسی منطقی به منظور ارائه یک انجمن راه اندازی شد که در آن جامعه تحقیقاتی در حال شکوفایی بتوانند در مورد موضوعات مهم برنامه نویسی منطقی که اغلب در مجامع بزرگ دور زده می شدند، بحث کنند. کنفرانس های بین المللی این جلد شامل دوازده مقاله است که در کنفرانس سوم ALPUK که در ادینبورگ، 10-12 آوریل 1991 برگزار شد، ارائه شد. هم در بریتانیا و هم توسط محققانی تا کانادا و بلغارستان. وسعت علاقه در این زمینه از علوم کامپیوتر در محدوده مقالاتی که - در میان سایر زمینه‌ها - پیاده‌سازی موازی گسترده، برنامه‌نویسی منطق محدودیت، مدل‌سازی مدار، اثبات جبری ویژگی‌های برنامه، پایگاه‌های اطلاعاتی قیاسی، ویرایشگرهای تخصصی و استانداردسازی را پوشش می‌دهند، منعکس شده است. جلد به دست آمده نمای کلی خوبی از پیشرفت فعلی در این زمینه به دست می دهد و برای محققان و دانشجویان هر جنبه ای از برنامه نویسی منطقی، محاسبات موازی یا تکنیک های پایگاه داده و مدیریت مورد علاقه خواهد بود.

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues 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 of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management.