معنی prolog

مهندسی كامپيوتر و IT
prolog
زبان برنامه نویسی منطق گرا که در هوش مصنوعی بکار می رود ؛ PROLOG Programming in Logic ، Programming In Logic یکی از زبانهای برنامه نویسی مورد استفاده در هوش مصنوعی ، پرولوگ - زبان برنامه نویسی که در آغاز دهه ی 70 Alain Comerauer آن را ساخت و در سال 1995 توسط ISO استاندارد گردید زبان پرولوگ برای نوشتن برنامه هایی به کار می رود که می خواهند تفکر انسان را مدل سازی کنند این زبان برنامه نویسی منطقی را انجام می دهد ، نوعی برنامه نویسی که Robert Kowalski آن را در دانشگاه لندن ساخت در برنامه نویسی عادی ؛ برنامه مراحلی را شرح می دهد که کامپیوتر باید برای حل هر مسئله ای طی کند در برنامه نویس منطقی ، برنامه چند واقعیت و قوانین را در اختیار کامپیوتر قرار میدهد ، به طوری که واقیعت های دیگری می تواند به کمک این قوانین استنتاج کرد سپس کامپیوتر به طور خودکار رویه ثابتی را به کار می برد تا مسئله حل شود مثلاً فرض کنید می خواهیم بدانیم آیا آتلانتا در آمریکای شمالی قرار دارد یا خیر؛ و اطلاعات زیر را برای این کار در اختیار داریم: (1) x در آمریکای شمالی است ، اگر x در ایالات متحده است (2) x در آمریکا شمالی است ، اگر x در کانادا است (3) x در ایالات متحده است ، اگر x در جورجیاست (4) x در ایالات متحده است ، اگر x در فلوریداست (5 ) آتلانتا در جورجیاست همان گونه که Kiwalski اشاره کرده است ، این مسئله می تواند بر اساس رویه های استدلالی چنین شرح داد: (1) برای آنکه نشان دهید X در آمریکای شمالی است ، نشان دهید که x در ایالات متحده است (2) برای انکه نشان دهید x در آمریکای شمالی است ، نشان دهید X در کانادا است (3) برای آنکه نشان دهید x در ایالات متحده است ، نشان دهید x در جورجیاست (4) برای آنکه نشان دهید x در ایالات متحده است ، نشان دهید x در فلوریدا است (5) برای آنکه نشان دهید آتلانتا در جورجیاست ، کاری انجام ندهید پس از آن روشن است که این مسئله میتواند با زنجیر کردن جمله های 3 ، 1 و 5 با یکدیگر حل کرد در زبان پرولوگ ، اطلاعات موجود را چنین بیان می کنیم : علات */ ابتدای توضیحات را نشان می دهد ، و /* پایان آن را بیان می کند تمامی این جمله ها قوانین اند ، x متغیری است که با هر ثابتی سازگار است ، و -: به معنای « اگر» است قانون 1 به این معناست که «اگر x در ایالات متحده است ، پس x باید در آمریکای شمالی باشد» قانون 5 نوع خاصی از قوانین به نام « واقعیت » است ، زیرا دارای « اگر » نیست برای یافتن این موضوع که آتلانتا در آمریکای شمالی است ، جستجوی زیر را به پرولوگ ارائه می دهیم : (north-america ( atlanta-? برای پاسخ به این پرسش ، پرولوگ به دنبال قانونی می گردد که با اولین بخش پرس و جو سازگار باشد ابتدا قانون 1 به کار می آید ، زیرا x دارای atlanta است سپس دومین بخش از قانون پرسش جدید خواهد بود: ( geogia (atlanta - ? وقتی جستجوی قانونی هستیم که با پرسش بالا سازگار باشد ، در می یابیم که قانون 5 با آن سازگار است که دارای « اگر » نیست ، و از این رو پرسش میتواند « بلی » باشد اگر فرایند به پرسشی ختم شود که قانونی با آن سازگار نیست پاسخ به پرسش « خیر » خواهد بود یکی از تواناییهای زبان پرولوگ ، قدرت « جستجوی به عقب » است ، یعنی به عقب برگشته و راه حلهای جایگزین را پیدا می کند این ویژگی هنگامی لازم است که زنجیره ای از قوانین به یک راه حل نمی رسد مثلاً قانون 2 و4 در مسئله ی بالا به یک راه حل منتهی نمی شود ؛ اگر کامپیوتر بخواهد هر یک از آنها را آزمایش کند ، لازم است که به عقب برگشته و راه حل های جایگزین را بررسی کند زبان پرولوگ منحصر به منطق ساده ی فوق نیست این زبان می تواند تمام انواع لگاریتم ها ، مانند مرتب سازی ، محاسبه ی عددی و تجزیه را پیاده سازی کند ، ‎Programming in Logic زبان برنامه نویسی منطق گرا که در هوش مصنوعی بکار می رود زبان ‎PROLOG
موارد مشابه با اصطلاح تخصصی انگلیسی prolog

دیکشنری تخصصی انگلیسی به فارسی مهندسی كامپيوتر و IT بر اساس حروف الفبا

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

دیکشنری تخصصی فارسی به انگلیسی مهندسی كامپيوتر و IT بر اساس حروف الفبا

آ | ا | ب | پ | ت | ث | ج | چ | ح | خ | د | ذ | ر | ز | ژ | س | ش | ص | ض | ط | ظ | ع | غ | ف | ق | ک | گ | ل | م | ن | و | ه | ی |
اگر این اصطلاح تخصصی مهندسی كامپيوتر و IT از انگلیسی به فارسی مفید بود آن را با دوستان خود به اشتراک بگذارید

دیکشنری تخصصی به تفکیک دپارتمان ها و رشته ها


دیکشنری تخصصی هنر

درباره دیکشنری تخصصی برساد


دیکشنری تخصصی برساد برای استفاده دانشجویان، پژوهشگران و استادان رشته های مختلف طراحی شده است. استفاده از خدمات دیکشنری تخصصی برساد کاملا رایگان است.

تماس با ما



Telegram: @Barsadic
وبلاگ برساد

×
می خوای مقاله ISI مهندسی كامپيوتر و IT رو برات ترجمه کنیم؟ سریع کلیک کن