پرولوگ یک زبان برنامه نویسی منطقی چند منظوره مبتنی بر مفاهیم هوش مصنوعی و زبان شناسی محاسباتی است. این زبان بر پایه منطق ریاضی بنا نهاده شده و آن را به عنوان زبان کاملاً منطقی می شناسند و حتی به آن پرلوگ خالص نیز اطلاق می شود و می توان گفت متفاوت از سایر زبان های برنامه نویسی است. این زبان، ریشه خود را بر خلاف بسیاری از زبان های برنامه نویسی دیگر از منطق صوری گرفته است. پس منطق برنامه را از لحاظ روابط بیان کرده و اجرای آن ها بیشتر از طریق پرس و جوها حول این روابط انجام می شود. باید توجه داشت که این پرس و جوها از داده های مجزایی ساخته می شوند.منطق گرا بودن این زبان، آن را برای بکارگیری در بانک های اطلاعاتی، ریاضیات نمادین، زبان تجزیه و کاربردهای دیگر سودمند ساخته است.
این زبان برای اولین بار در اوایل ۱۹۷۰ توسط گروهی به سرپرستی «آلن کلمرار» در مارسی فرانسه به وجود آمد و اولین سیستم Prolog در سال ۱۹۷۲ توسط کلمرار و فیلیپ راسل توسعه داده شد. با این حال، دیوید اچ دی وارن با ایجاد ماشین خلاصه وارن در اوایل کامپایلر Prolog با نفوذ را نوشت و «Edinburgh Prolog» را تعریف نمود که گویشی است که اساس برای نحو بسیاری از پیاده سازی مدرن است. Prolog یکی از زبان های برنامه نویسی منطق مرتبه اول بود، و امروزه رایج ترین این گونه زبان ها باقی مانده است، همراه با تعداد زیادی از پیاده سازی های آن که به صورت رایگان و تجاری در دسترس هستند. در حالی که در ابتدا با هدف پردازش زبان طبیعی ساخته شد اما به تدریج بخاطر استفاده و پشتیبانی سیستم های خبره، بازی ها، سیستم پاسخ خودکار، ontologies و سیستم های کنترل پیچیده، تغییر کرد و محیط های Prolog مدرن و با حمایت از ایجاد واسط کاربر گرافیکی، به عنوان برنامه های اداری و شبکه.. معرفی گردید و الحاقات بعدی از Prolog که توسط تیم اصلی ایجاد گشت محدودیت توانایی در منطق برنامه نویسی را در پیاده سازی از بین بردند.زمزمه های ایجاد یک زبان منطق گرا از دهه ۷۰ میلادی از شمال آمریکا شکل گرفت. بعداً در نسل پنجم رایانه ها نیز از پرولوگ برای نوشتن کرنل سیستم عامل نیز در ایجاد پروژه سیستم FGCS استفاده شد.
نوع داده در پرلوگ به صورت ترم ها تعریف می شود که این ترم ها می توانند اتم، اعداد، متغیرها یا ترکیبی از ترم های دیگر باشند.
truck_year('Mazda', 1986) 'Person_Friends'(zelda, )لیست ها که یک حالت خاص عبارت ها ترکیبی هستند و ساختمان داده ایی پیشرفته برای نگهداشت استدلال ها و منطق هاست و به طور کلی لیستی از اتم ها هستندو به وسیلهٔ پرانتز، نقطه و کاما نشان داده می شود.رشته ها که مجموعه ایی از کارکترها هستند برای نگهداری یونیکدها و نام های شخصیت های محلی.
این زبان برای اولین بار در اوایل ۱۹۷۰ توسط گروهی به سرپرستی «آلن کلمرار» در مارسی فرانسه به وجود آمد و اولین سیستم Prolog در سال ۱۹۷۲ توسط کلمرار و فیلیپ راسل توسعه داده شد. با این حال، دیوید اچ دی وارن با ایجاد ماشین خلاصه وارن در اوایل کامپایلر Prolog با نفوذ را نوشت و «Edinburgh Prolog» را تعریف نمود که گویشی است که اساس برای نحو بسیاری از پیاده سازی مدرن است. Prolog یکی از زبان های برنامه نویسی منطق مرتبه اول بود، و امروزه رایج ترین این گونه زبان ها باقی مانده است، همراه با تعداد زیادی از پیاده سازی های آن که به صورت رایگان و تجاری در دسترس هستند. در حالی که در ابتدا با هدف پردازش زبان طبیعی ساخته شد اما به تدریج بخاطر استفاده و پشتیبانی سیستم های خبره، بازی ها، سیستم پاسخ خودکار، ontologies و سیستم های کنترل پیچیده، تغییر کرد و محیط های Prolog مدرن و با حمایت از ایجاد واسط کاربر گرافیکی، به عنوان برنامه های اداری و شبکه.. معرفی گردید و الحاقات بعدی از Prolog که توسط تیم اصلی ایجاد گشت محدودیت توانایی در منطق برنامه نویسی را در پیاده سازی از بین بردند.زمزمه های ایجاد یک زبان منطق گرا از دهه ۷۰ میلادی از شمال آمریکا شکل گرفت. بعداً در نسل پنجم رایانه ها نیز از پرولوگ برای نوشتن کرنل سیستم عامل نیز در ایجاد پروژه سیستم FGCS استفاده شد.
نوع داده در پرلوگ به صورت ترم ها تعریف می شود که این ترم ها می توانند اتم، اعداد، متغیرها یا ترکیبی از ترم های دیگر باشند.
truck_year('Mazda', 1986) 'Person_Friends'(zelda, )لیست ها که یک حالت خاص عبارت ها ترکیبی هستند و ساختمان داده ایی پیشرفته برای نگهداشت استدلال ها و منطق هاست و به طور کلی لیستی از اتم ها هستندو به وسیلهٔ پرانتز، نقطه و کاما نشان داده می شود.رشته ها که مجموعه ایی از کارکترها هستند برای نگهداری یونیکدها و نام های شخصیت های محلی.
wiki: پرولوگ