برنامه‌نویسی منطقی: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جز ربات: حذف میان‌ویکی موجود در ویکی‌داده: ۲۹ میان‌ویکی |
Stima-PL-019 (بحث | مشارکت‌ها) بدون خلاصۀ ویرایش |
||
خط ۱:
{{شیوه‌های برنامه‌نویسی}}
'''برنامه‌نویسی منطقی''' در کلی‌ترین مفهوم آن، کاربرد [[منطق ریاضی]] در [[برنامه‌نویسی]] [[رایانه]] است.مدل منطقی مبتنی بر هوش مصنوعی است و از یک سری قواعد خاص پیروی می کند.هدف نهایی در این مدل برنامه نویسی این است که برنامه نویس تعریف مسئله را انجام دهد و راه حل توسط خود سیستم ارایه شود.در این صورت باید اطلاعات اولیه ای به صورت داده های مسئله به برنامه داده شود برای همین کامپایلر و برنامه وظیفه ی پاسخگویی به سوالات کاربر در مورد مسئله را دارند.زبان برای کاربرد های هوش مصنوعی و سیستم های خبره مناسب می باشد. معروف ترین زبان منطقی زبان پرولوگ است که در هوش مصنوعی به کار می رود.
== ویژگی ها ==
#. اجرای برنامه های نوشته شده با این زبان اصلا سریع و کارا نیست.
#. نوشتن کامپایلر برای این زبان ها بسیار دشوار است.
== جستارهای وابسته ==
| |||