پرولوگ

پرولوگ (PROLOG)
مخفف عبارت Programming in Logic، یک زبان برنامه‌نویسی سطح بالا که در طراحی برنامه‌‌های هوش مصنوعی در دهه‌‌های ۱۹۷۰ و ۱۹۸۰ به‌کار گرفته ‌می‌شد. برخلاف زبان‌‌های برنامه‌نویسی معمولی، که فقط داده‌‌ها و دستورالعمل‌‌های عددی را پردازش می‌کنند، در پرولوگ، نماد‌‌ها و روابط پردازش می‌شوند. یک برنامه پرولوگ یک بانک اطلاعاتی متشکل از حقایق و قوانینی است که معمولاً به یک حوزۀ خاص مربوط می‌شوند. پرولوگ این بانک اطلاعاتی را جست‌وجو می‌کند و بین حقایق مختلف رابطه برقرار می‌کند. بر اساس این روابط (قوانین) پرولوگ تعیین می‌کند که یک گزاره، درست یا نادرست است. البته به‌دلیل مطلق‌بودن و انعطاف‌ناپذیر‌بودن روابط منطقی در پرولوگ،‌ این زبان برنامه‌نویسی برای کار با داده‌‌های غیر دقیق یا مجموعه‌‌های فازی مناسب نیست.