پرولوگ
یک زبان برنامهنویسی منطقی چند منظوره / From Wikipedia, the free encyclopedia
پرولوگ (به انگلیسی: Prolog) یک زبان برنامهنویسی منطقی چند منظوره مبتنی بر مفاهیم هوش مصنوعی و زبانشناسی محاسباتی است.[1] این زبان بر پایه منطق ریاضی بنا نهاده شده و آن را به عنوان زبان کاملاً منطقی میشناسند و حتی به آن پرلوگ خالص نیز گفته میشود و میتوان گفت متفاوت از سایر زبانهای برنامهنویسی است.[1] این زبان، ریشهٔ خود را بر خلاف بسیاری از زبانهای برنامهنویسی دیگر از منطق صوری گرفتهاست.[1] پس منطق برنامه را از لحاظ روابط بیان کرده و اجرای آنها بیشتر از طریق پرس و جوها حول این روابط انجام میشود. باید توجه داشت که این پرس و جوها از دادههای مجزایی ساخته میشوند.
منطق گرا بودن این زبان، آن را برای بهکارگیری در بانکهای اطلاعاتی، ریاضیات نمادین، زبان تجزیه و کاربردهای دیگر سودمند ساختهاست.
اطلاعات اجمالی پارادایم برنامهنویسی, طراحی شده توسط ...
پارادایم برنامهنویسی | برنامهنویسی منطقی |
---|---|
طراحی شده توسط | آلن کلمرآر، روبرت کوالسکی |
ظهوریافته در | ۱۹۷۲ |
انتشار پایدار | بخش اول: General core-ویرایش یکم (ژوئن ۱۹۹۵؛ ۲۹ سال پیش (۱۹۹۵}})) بخش دوم: Modules-ویرایش یکم (ژوئن ۲۰۰۰؛ ۲۴ سال پیش (۲۰۰۰}})) |
بدون نوعدهی (تنها نوع داده موجود، اصطلاح یا term است) | |
.pl .pro .P | |
وبگاه | |
پیادهسازیهای بزرگ | |
BProlog, Ciao, ECLiPSe, GNU Prolog, Jekejeke Prolog, Logic Programming Associates, Poplog Prolog, P#, Quintus, SICStus , Strawberry, SWI-Prolog, tuProlog, XSB, YAP-Prolog | |
گویش | |
ISO Prolog, Edinburgh Prolog | |
متأثر از | |
پلانر | |
تأثیر گذاشته بر | |
ویژوال پرولوگ، Mercury, Oz, Erlang, Strand, KL0, KL1, دیتالاگ | |
![]() |
بستن