Prolog by Example: How to Learn, Teach and Use It

Prolog یک سبک اظهاری دارد. تعریف محمول شامل پارامترهای ورودی و خروجی می شود و به برنامه نویس اجازه می دهد تا نتیجه دلخواه را بدون نگرانی درباره دستورالعمل های دقیق نحوه محاسبه آن تعریف کند. چنین زبان اعلانی راه حلی برای بحران نرم افزار ارائه می دهد، زیرا کوتاه تر و مختصرتر، قوی تر و قابل فهم تر از زبان های امروزی است. منطق جنبه های جدید برنامه نویسی را برجسته می کند، یعنی استفاده از همان برنامه برای محاسبه یک رابطه و معکوس آن، و پشتیبانی از بازیابی قیاسی اطلاعات. این کتاب در مورد استفاده از Prolog است. نکته اصلی آن مثال های معرفی شده از فصل 3 به بعد است و بنابراین یک برنامه نویس Prolog نیازی به خواندن فصل های 1 و 2 که به ترتیب بیشتر برای معلمان و دانش آموزان است را ندارد. این کتاب برای دوره‌های مقدماتی و پیشرفته دانشگاه توصیه می‌شود، جایی که دانش‌آموزان ممکن است نیاز داشته باشند که اصول اولیه برنامه منطقی ming و Prolog را قبل از شروع به یاد بیاورند. فصل 1 و 2 نیز به خاطر وحدت کل مطالب حفظ شد. در فصل 1 یک استراتژی آموزشی بر اساس مفاهیم کلیدی Pro log که جنبه های جدید برنامه نویسی هستند توضیح داده شده است. Prolog به عنوان یک زبان برنامه نویسی کامپیوتری که برای حل مسائلی که شامل اشیاء و روابط بین اشیاء است، استفاده می شود. این فصل با اشاره به اشکالات اصلی که ممکن است تازه کارها با آن مواجه شوند، یک تور آموزشی از نسخه های تجویزی برای سازماندهی برنامه های Prolog ارائه می دهد.

Prolog has a declarative style. A predicate definition includes both the input and output parameters, and it allows a programmer to define a desired result without being concerned about the detailed instructions of how it is to be computed. Such a declarative language offers a solution to the software crisis, because it is shorter and more concise, more powerful and understandable than present-day languages. Logic highlights novel aspects of programming, namely using the same program to compute a relation and its inverse, and supporting deductive retrieval of informa­ tion. This is a book about using Prolog. Its real point is the examples introduced from Chapter 3 onwards, and so a Prolog programmer does not need to read Chapters 1 and 2, which are oriented more to teachers and to students, respec­ tively. The book is recommended for introductory and advanced university courses, where students may need to remember the basics about logic program­ ming and Prolog, before starting doing. Chapters 1 and 2 were also kept for the sake of unity of the whole material. In Chapter 1 a teaching strategy is explained based on the key concepts of Pro­ log which are novel aspects of programming. Prolog is enhanced as a computer programming language used for solving problems that involve objects and the relationships between objects. This chapter provides a pedagogical tour of pre­ scriptions for the organization of Prolog programs, by pointing out the main draw­ backs novices may encounter.