زبان پرولوگ چیست؟

اولین باری که محیط برنامه نویسی پرولوگ را دیدم هیچگاه به ذهنم خطور نمیکرد چنان زبان پیچیده و بازگشتی باشد!

پرولوگ یک زبان برنامه نویسی منطقی است که با الهام از زبان پلانر، در سال ۱۹۷۲ توسط Alain Colmerauer در MIT خلق شد.

منطق این زبان بر پایه ریاضیات بنا نهاده شده است و ساختار و نوشتار این زبان با سایر زبان ها بسیار متفاوت است .

زبان پرولوگ یک زبان فوق العاده منطقی و ادراکی است که از نوعی منطق که با نام منطق صوری یاد می شود استفاده میکند  به طور کلی  منطق برنامه را از لحاظ روابط بیان کرده و اجرای آن‌ها بیشتر از طریق پرس و جوها حول این روابط انجام می‌شود. 

انواع داده ها در پرولوگ

انواع داده در پرولوگ با نام ترم یاد می شوند.

اتم

به‌طور کلی هیچ معنای ذاتی ندارند و یک سری رشته از حروف یا اعداد هستند که خواننده پرلوگ آن‌ها را تجزیه کرده‌است. همانند : x

اعداد 

می‌توانند به صورت اعداد شناور ، صحیح  و … باشند .

متغیر 

که یک رشتهٔ متشکل از حروف است که می‌تواند نشان دهندهٔ یک واژه باشند و ارزش آن‌ها با توجه به

پرلوگ مقداردهی داده می‌شود.

ترم مرکب 

 ترکیبی از اتم‌ها است که به صورت یک متغیر با آن رفتار می‌کنیم و نیز مجموعه‌ای از استدلال هاست که    

یک نتیجه نهایی درست یا غلط را دربرمی گیرد.

باید بدانیم

در پرولوگ از روابط پدر و فرزندی بسیار استفاده می شود و زمانی که مشغول یادگیری این زبان هستید اصطلاح backtracking را زیاد خواهید شنید چون خاصیت اصلی این زبان مانور دادن روی انواع درخت های بازگشتی است.

محیط اصلی کدنویسی پرولوگ swi  می باشد

شما در دو قسمت قابلیت کد نویسی دارید :

اول محیطی که کد مادر (منطق برنامه)را میزنید

دوم محیطی که کدتست کد مادر را میزنید

موارد استفاده از پرولوگ

میتوان گفت از این زبان در اکثر هوشمند سازی ها استفاده میشود مثل انواع مسیریابی ها ، بازی ها هوشمند، ماشین آلات صنعتی ،چراغ راهنمایی ، سیستم های پیچیده هواشناسی و… .