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