برنامه نویسی در پرولوگ (بر اساس استاندارد ایزو)

درباره کتاب برنامه نویسی در پرولوگ (بر اساس استاندارد ایزو)

کتابی که در پیش رو دارید به نام برنامه نویسی در پرولوگ (بر اساس استاندارد ایزو) نوشته ی ویلیام کلوکسین. و کریستوفر ملیش با ترجمه دکتر عبدالرضا میرزایی و مهندس الهه راشدی که انتشارات دانشگاه صنعتی اصفهان آن را منتشر و روانه بازار کرده است.
در این کتاب پرولوگ به عنوان یک زبان توصیفی معرفی می گردد. که به عنوان نخستین قدم برای برنامه نویسی منطقی شناخته می شود. و به منظور پیاده سازی بهینه برنامه های هوشمند به کار می رود.
در این کتاب نخست اصول اولیه ردهای اصول عقب گرد و روش اعمال ورودی و خروجی به تفصیل مورد بحث قرار می گیرد.
برنامه نویسی به زبان پرولوگ معرفی می شود و سپس مباحث پیشرفته تر شامل ساختارهای در ادامه مجموعه گسترده ای از نمونه های برنامه نویسی به همراه جواب آن ها به برنامه نویسان ارایه می گردد. و همچنین برخی روش های معمول برای عیب یابی برنامه های پرولوگ معرفی خواهد شد.
در انتها نیز تعدادی طرح به عنوان نمونه به منظور تمرین بیشتر ارایه می گردد. چیدمان فصل های مختلف این کتاب به شکلی است. که برنامه نویسان با مطالعه پیوسته فصل های کتاب قادر هستند. فراگیری این زبان را از مراحل مقدماتی تا سطوح پیشرفته دنبال کنند.
علاقمندان به کتاب فوق و کتاب هایب با موضوعات مشابه از انتشارات دانشگاه صنعتی اصفهان (اینجا) می توانند به دسته بندی زبان برنامه نویسی سایت خوان آخر دیدن فرمایند.

فهست مطالب کتاب

• فصل اول: مقدمات زبان پرولوگ
• فصل دوم: نگاهی دقیق تر
• فصل سوم: استفاده از ساختمان های داده
• فصل چهارم: عقب گرذ و برش
• فصل پنجم: ورودی و خروجی
• فصل ششم: گزاره های پیش ساخته
• فصل هفتم: نمونه های برنامه نویسی
• فصل هشتم: خطایابی برنامه های پرولوگ
• فصل نهم: قوانین گرامری در پرولوگ
• فصل دهم: ارتباط پرولوگ با منطق
• فصل یازدهم: طرح هایی در پرولوگ