برنامهنویسی اعلانی
From Wikipedia, the free encyclopedia
برنامهنویسی اعلانی (به انگلیسی: Declarative programming) یک پارادایم برنامهنویسی است که در آن منطق و هدف محاسبات بدون شرح چگونگی انجام آنها بیان میشود. در این پارادایم تلاش میشود که با توصیف عملیات مورد نیاز بجای توضیح چگونگی انجام عملیات، اثر جانبی برنامهها را کاهش یا به کل ازمیان برداشت که از لحاظ اولویتهای عملیاتی در تناقض کامل با شیوه (برنامهنویسی دستوری) است. زبانهای دستوری زبانهایی هستند که عملیات تحلیلی را برحسب عباراتی که در وضعیت برنامهها تغییراتی ایجاد میکنند، شرح میدهند حال آنکه زبانهای اعلانی برنامهها رابه عنوان اصول منطق محاسباتی و محاسبات را کسورات و اجزای کوچک درون فضای آن منطق میبینند. از آنجا که این زبان میتواند تا حد چشمگیری نوشتن برنامههای موازی برای رایانش موازی را آسان و ساده کند توانسته توجه زیادی را به خود معطوف سازد.
زبانهای معمول اعلانی شامل برنامهنویسی تابعی، عبارت باقاعده، برنامهنویسی منطقی میشوند.