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