Logic Programming '89: Proceedings of the 8th Conference Tokyo, Japan, July 12–14, 1989

این جلد شامل مقالات منتخبی است که در هشتمین کنفرانس برنامه نویسی منطقی، که در توکیو، 1989 برگزار شد، ارائه شده است. موضوعات مختلفی در برنامه نویسی منطقی پوشش داده شده است. مقاله اول یک سخنرانی دعوت شده توسط پروفسور دونالد میچی، دانشمند ارشد موسسه تورینگ، با عنوان "یادگیری انسان و ماشین مفاهیم توصیفی" است و نتایج تحقیقات مختلف در مورد یادگیری به دست آمده توسط گروه خود را معرفی می کند. یازده مقاله دیگر وجود دارد که در بخش‌هایی درباره استدلال، زبان برنامه‌نویسی منطقی، برنامه‌نویسی همزمان، برنامه‌نویسی دانش، پردازش زبان طبیعی و کاربردها سازماندهی شده‌اند. مقاله ای در مورد برنامه نویسی دانش ابزاری انعطاف پذیر و قدرتمند را برای ترکیب و سازماندهی دانش با استفاده از هایپر مدیا معرفی می کند. مقاله دیگری زبان برنامه نویسی منطق محدودیت cu-Prolog را ارائه می دهد که برای مسائل ترکیبی طراحی شده است. روش cu-Prolog برای حل محدودیت ها بر اساس تبدیل برنامه است.

This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation.