Hiweb بوکیار - دانلود کتاب های انگلیسی دانشگاهی و علمی

برنامه نویسی prolog

برنامه نویسی prolog

نویسنده:

PROLOG یکی از بهترین نمونه و مثال یک زبان برنامه نویسی منطقی است. یک برنامه منطقی دارای یک سری ویژگیهای قانون و منطق است . PROLOG از محاسبة اولیه استفاده می کند. در حقیقت خود این نام از برنامه نویسی PRO در LOGIC می آید یک مفسر برنامه را بر اساس یک منطق می نویسد. ایده استفاده توصیفی محاسبه اولیه برای بیان خصوصیات حل مسئله یکی از محوریت های مشارکتPROLOG می باشد که برای علم کامپیوتر به طور کلی و به طور اخص برای زبان برنامه نویسی هوشمند مورد استفاده قرار می گیرند. نفع اسفتاده از محاسبه اولیه برای برنامه نویسی شامل یک ساختار ظریف و ساده و قابل معنی می شود. به دلیل همین خصوصیات است که PROLOG به عنوان یک محرک اصلی و مفید برای تحقیقاتی مثل موارد برنامه نویسی آزمایشی به عنوان یک کد، متغیر کردن برنامه و طراحی ویـــژگیهـای زبان سطح بالا، مطرح است. PROLOG و دیگر زبانهای منطقی یک سبک برنامه نویسی مشخصی را دنبال می کنند که در آنها برنامه ها به صورت دستورات پشت سرهم و متوالی برای ایجاد یک الگوریتم، نوشته می شوند. این نوع برنامه اصولاً به کامپیوتر می گوید که «چه چیزی درست است» و «چه چیزی باید صورت گیرد» و این به برنامه نویس اجازه می دهد که بر روی حل مسئله به صورت یک سری خصوصیات از یک محدوده تأکید کند تا اینکه بخواهد به جزئیات نوشتاری سطح پائین ساختارهای الگوریتمی برای بعد بپردازد.اولین برنامه PROLOG در مارسی فرانسه در اوایل 1970 به عنوان بخشی از زبان معمول یک پروژه نوشته شد. تئوری نهفته در پشت این زبان در کارهای کوالسکی،‌هیز و دیگران آورده شده است. عمدة توسعة PROLOG بین سالهای 1975 تا 1979 در بخش هوش مصنوعی دانشگاه ادینبورگ صورت گرفت. در آنجا یک گروه مسئولیت کاربرد اولین PROLOG را به عهده داشتند که آقای David H.D مسئول آن بود. این گروه اولین PROLOG را ساخت که می توانست محاسبات کلی را انجام دهد. این محصول بر اساس سیستم DEC-10 ساخته شده بود و می توانست در مدهای توصیفی و مقایسه ای کارآئی داشته باشد.مزیت این زبان به وسیله پروژه هایی که برای ارزیابی و گسترش قدرت بیان برنامه های منطقی نوشته شده اند،‌ اثبات شده است.بحث دربارة یک چنین کاربردهایی می تواند در سمینار و گردهمائی های مربوط به زبان برنامه نویسی هوش مصنوعی در سطح بین المللی مطرح شود.

● برای آگاهی یافتن از چگونگی مطالعه این کتاب، ویکی کتابناک را ببینید.

» کتابناکهای مرتبط:
توابع ریاضی و ویژوال بیسیک
کاربرد MATLAB در کنترل مدرن
مقدمه ای بر RUP

آگهی
نسخه ها
PDF
حجم: 7 مگابایت
دریافت ها: 4144
تعداد صفحات: 139
4.5 / 5
با 13 رای
امتیاز دهید
5 4 3 2 1

دانلود
دیدگاه‌ها: 4
۱۳۹۰/۰۱/۱۴


پاسخنگارش دیدگاه
86311
Member
خیلی ممنون از سایت پر کاربرد و واقعا عالی
نقل قول  
nabeqe300092
Member
برای آشنایی اولیه با این زبان، کتاب خوبیه.
مرسی
نقل قول  
msherlook
Member
salam . age mishe in ketab ro baram mail konid.
m.sherlook@yahoo.com
نقل قول  
jang bo go
Member
من نمیتونم بعضی از کتابهای برنامه نویسی سایت رو دانلود کنم چون اصلا لینک دانلود نداره لطفا کمکم کنید ممنون میشم
نقل قول  

درج دیدگاه مختص اعضا است! برای ورود به حساب خود اینجا و برای عضویت اینجا کلیک کنید.


Powered by You