Clause and Effect: Prolog Programming for the Working Programmer

این کتاب برای افرادی است که برخی از برنامه‌نویسی‌ها را، چه در Prolog یا به زبانی غیر از Prolog، انجام داده‌اند و می‌توانند راه خود را به یک کتابچه راهنمای مرجع بیابند. تاکید این کتاب بر روش شناسی ساده و منضبط برای تشخیص ساختارهای ریاضی مرتبط با یک مسئله و سپس تبدیل این ساختارها به برنامه های Prolog است. بنابراین این کتاب نه در مورد ویژگی های خاص زبان و نه به طور کلی در مورد مهارت ها یا تکنیک های برنامه نویسی Prolog است. یک زیرمجموعه نسبتاً خالص از Prolog استفاده می‌شود که شامل «برش» است، اما بدون ورودی/خروجی، بدون ادعا/پس‌رفت، بدون پسوند نحوی مانند if then-else و قواعد گرامر، و تقریباً هیچ محمول داخلی غیر از حساب وجود ندارد. عملیات من اطمینان دارم که تمرین‌کنندگان برنامه‌نویسی Prolog که علاقه خاصی به جزئیات دقیق سبک نحوی و ویژگی‌های زبان دارند، اهداف من را در بحث نکردن درباره این موضوعات درک خواهند کرد. ارائه، که به اعتقاد من برای یک متن برنامه نویسی Prolog بدیع است، از نظر طرحی از مفاهیم اساسی است که با کاربرگ ها ترکیب شده است. ایده این است که کاربرگ ها بیشتر شبیه تمرین های موسیقی هستند. هر کاربرگ که به دقت از نظر دامنه فارغ التحصیل شده است، تنها تعداد محدودی از ایده های جدید را معرفی می کند و راهنمایی هایی برای تمرین آنها ارائه می دهد. سپس اصول معرفی‌شده در کاربرگ‌ها در نمونه‌های توسعه‌یافته در قالب مطالعات موردی اعمال می‌شود.

This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. The emphasis of this book is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general. A relatively pure subset of Prolog is used, which includes the 'cut', but no input/output, no assert/retract, no syntactic extensions such as if­ then-else and grammar rules, and hardly any built-in predicates apart from arithmetic operations. I trust that practitioners of Prolog program­ ming who have a particular interest in the finer details of syntactic style and language features will understand my purposes in not discussing these matters. The presentation, which I believe is novel for a Prolog programming text, is in terms of an outline of basic concepts interleaved with worksheets. The idea is that worksheets are rather like musical exercises. Carefully graduated in scope, each worksheet introduces only a limited number of new ideas, and gives some guidance for practising them. The principles introduced in the worksheets are then applied to extended examples in the form of case studies.