در'''برنامه‌نویسی علوماعلانی'''، رایانهدر ای([http://en.wikipedia.org/wiki/Computer_science computer science])زبانهای اعلانی([http://en.wikipedia.org/wiki/Declarative_languageعلوم declarative languagesرایانه]]) پارادایمی از جمله زبانهایبرنامه‌نویسی بر نامه سازی رایانه هستنداست که در آنهاآن منطق محاسبات بدون شرح چگونگی انجام آنها بیان شده‌استمی‌شود. برنامه‌های اعلانی تلاش می‌کنند تا با توصیف عملیات مورد نیاز برنامه‌ها بجای توضیح چگونگی انجام عملیات، تاثیرات جانبی ([http://en.wikipedia.org/wiki/Side_effect_(computer_science) side effects]) درون برنامه‌ها را کاهش و یا به کل ازمیان بردارند که از لحاظ اولویت‌های عملیاتی در تناقض کامل با [[زبانهای دستوری]] ([http://enمیباشند.wikipedia زبانهای دستوری زبان‌هایی هستند که عملیات تحلیلی را برحسب عباراتی که در وضعیت برنامه‌ها تغییراتی ایجاد می‌کنند، شرح می‌دهند حال آنکه زبانهای اعلانی برنامه هارابه عنوان اصول منطق محاسباتی و محاسبات را کسورات و اجزای کوچک درون فضای آن منطق می‌بینند.org/wiki/Imperative_programmingاز imperetiveآنجا languages])که این زبان می‌تواند تا حد چشمگیری نوشتن برنامه‌های موازی
میباشند.زبانهای دستوری زبان‌هایی هستند که عملیات تحلیلی را برحسب عباراتی که در وضعیت برنامه‌ها تغییراتی ایجاد می‌کنند، شرح می‌دهند حال آنکه زبانهای اعلانی برنامه هارابه عنوان اصول منطق محاسباتی و محاسبات را کسورات و اجزای کوچک درون فضای آن منطق می‌بینند.از آنجا که این زبان می‌تواند تا حد چشمگیری نوشتن برنامه‌های موازی
([http://en.wikipedia.org/wiki/Parallel_computing parallel programs])را آسان و ساده کند توانسته توجه زیادی را به خود معطوف سازد.
