برنامه‌نویسی منطقی

از ویکی‌پدیا، دانشنامهٔ آزاد

پرش به: ناوبری، جستجو

شیوه‌های برنامه‌نویسی

برنامه‌نویسی منطقی در کلی‌ترین مفهوم آن، کاربرد منطق ریاضی در برنامه‌نویسی رایانه است.

جستارهای وابسته[ویرایش]

برنامه‌نویسی تابعی

منابع[ویرایش]

Robert Kowalski. The Early Years of Logic Programming CACM. January ۱۹۸۸

ن ب و شاخه‌های اصلی علوم رایانه

پایه‌های ریاضی	منطق ریاضی نظریه مجموعه‌ها نظریه اعداد نظریه گراف نظریه نوع‌ها نظریه رده‌ها محاسبات عددی نظریه اطلاعات ریاضیات گسسته جبربولی

نظریه محاسبات	نظریه ماشین‌ها نظریه محاسبه‌پذیری نظریه پیچیدگی محاسباتی نظریه رایانه کوانتومی

الگوریتم‌ها و ساختار داده‌ها	تحلیل الگوریتم‌ها طراحی الگوریتم هندسه محاسباتی

زبان‌های برنامه‌نویسی و مفسرها	تحلیل‌گرهای نحوی مفسرها برنامه‌نویسی پروسه‌ای برنامه‌نویسی شی‌گرا برنامه‌نویسی تابعی برنامه‌نویسی منطقی

سامانه‌های همروند، موازی و توزیع‌شده	چندپردازی رایانش شبکه‌ای کنترل همروندی

مهندسی نرم‌افزار	تحلیل نیازمندی‌ها طراحی نرم‌افزار برنامه‌نویسی روش‌های رسمی تست نرم‌افزار توسعه نرم‌افزار

معماری سیستم	معماری رایانه ریزمعماری سیستم‌های عامل

مخابرات و شبکه‌بندی	موسیقی رایانه‌ای مسیریابی همبندی شبکه رمزنگاری

پایگاه داده‌ها	داده‌کاوی مدل رابطه‌ای اس‌کیوال پردازش تحلیلی آن‌لاین

هوش مصنوعی	استدلال خودکار زبان‌شناسی محاسباتی بینایی رایانه‌ای محاسبات تکاملی یادگیری ماشینی پردازش زبان‌های طبیعی رباتیک

گرافیک رایانه	مصورسازی پردازش تصویر

تعامل انسان و رایانه	دسترسی‌پذیری رایانه واسط کاربر رایانه پوشیدنی رایانش فراگیر واقعیت مجازی

علوم محاسباتی	حیات مصنوعی زیست‌انفورماتیک علوم شناختی شیمی محاسباتی عصب‌شناسی محاسباتی فیزیک محاسباتی محاسبات عددی محاسبات نمادین

جوایز و مسابقات رایانه	جایزه تورینگ روبوکاپ مسابقات ربوکاپ آزاد ایران المپیاد جهانی کامپیوتر المپیاد کامپیوتر در ایران

ن ب و گونه‌های زبان‌های برنامه‌نویسی

Array جنبه‌گرا Class-based Concatenative Concurrent Data-structured Dataflow اعلانی مختص به دامنه Dynamic محرمانه رویدادمحور Extensible تابعی دستوری منطقی ماکرو Metaprogramming مولتی-پارادایم Object-based شیءگرا Pipeline رویه‌ای بر پایه پیش‌نمونه Reflective Rule-based پردازه‌نویسی Synchronous Templating

اسمبلی ترجمه‌شده تفسیرشده ماشین

سطح پایین سطح بالا Very high-level

Non-English-based Off-side rule تصویری

برگرفته از «http://fa.wikipedia.org/w/index.php?title=برنامه‌نویسی_منطقی&oldid=10255068»