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

ادامه خواندن

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


نظریه NP (نظریه پیچیدگی محاسباتی) شاخه‌ای از نظریه محاسبات و ریاضی و علوم کامپیوتری است که به بررسی  و تحلیل میزان دشواری حل مسائل به‌صورت الگوریتمی می‌پردازد.

ادامه خواندن

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