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

شیوه‌های برنامه‌نویسی
Action Agent-oriented جنبه‌گرا Automata-based Concurrent computing Relativistic programming Data-driven اعلانی (تضاد: دستوری) Constraint Dataflow Flow-based Cell-oriented (صفحه‌های گسترده) Reactive تابعی Functional logic منطقی Abductive logic Answer set Constraint logic Functional logic Inductive logic Relational End-user programming رویدادمحور سرویس‌گرا Time-driven Expression-oriented Feature-oriented Function-level (تضاد: Value-level) جنریک دستوری (تضاد: اعلانی) رویه‌ای Language-oriented Natural language programming Discipline-specific مختص به دامنه Grammar-oriented Dialecting Intentional Metaprogramming Automatic Reflective Attribute-oriented Homoiconic Template Policy-based غیر ساخت‌یافته (تضاد: ساخت‌یافته) Array Nondeterministic رایانش موازی Process-oriented Point-free style Concatenative Semantic ساخت‌یافته (تضاد: غیر ساخت‌یافته) Block-structured پودمانی (تضاد: Monolithic) شیءگرا (OOP) By separation of concerns: جنبه‌گرا Role-oriented Subject-oriented Class-based بر پایه پیش‌نمونه بازگشتی Value-level (تضاد: Function-level) Probabilistic مفهوم

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

جستارهای وابسته

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

منابع

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