برنامه‌نویسی اعلانی: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جز ربات: تصحیح پیوند به پروژه‌های خواهر و تبدیل کردن پیوندها به خنثی در برابر پروتکل |
جز ویکی‌سازی رباتیک(۶.۸) >برنامه ریزی |
||
خط ۱۸:
* برنامه‌های منطق(logic programming)
این نوع زبان خود به سه دسته برنامه‌های قیدی(constraint programming)، برنامه‌های تحلیل داده(data flow programs)و برنامه‌های (domain specific) تقسیم می‌شود.
برنامه ریزی منطق به عنوان یک سطح وسیع استفاده از منطق ریاضیات می‌باشد که در زمینه‌های تحلیل و محاسبات کامپیوتری، اثبات تئوریهای علمی، ایجاد مدل و حل مسائل، از این نوع ساختار [[برنامه ریزی]] استفاده می‌شود.زبانهایی چون svg،html،xsltاز نمونه زبانهای منطق به شمار می‌آیند.
== منابع ==
خط ۳۶:
[[رده:زبانهای برنامه‌نویسی اعلانی]]
[[رده:موضوعات مربوط به زبانهای برنامه‌نویسی]]
[[رده:ویکی‌سازی رباتیک]]
| |||