برنامه نویسی اعلانی

به معنای «نوعی برنامه نویسی که بر اعلام خواسته‌ها یا محدودیت‌ها تاکید دارد تا چگونگی تحقق آن‌ها»؛ معمولاً در منطق برنامه نویسی و یا زبان‌هایی که declarative هستند به کار می‌رود.