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

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

برچسب‌ها , , , , , , , , , , , , , , , , ,


دیدگاهتان را بنویسید

Want to see your ugly mug by your comment? Get a free custom avatar at Gravatar.