Bildirimsel programlama
Bilgisayar biliminde, bildirimsel programlama bir programlama paradigmasıdır. —bilgisayar programlarının yapısını ve öğelerini oluşturma stili— bir hesaplamanın mantığını kontrol akışını tanımlamadan ifade eder. Bu stili uygulayan birçok dil, programın nasıl gerçekleneceğini programlama dil ilkelerinin bir dizisi olarak tanımlamak yerine programın neyi başarması gerektiğini problem alanı açısından tanımlayarak yan etkileri en aza indirmeye veya tümüyle ortadan kaldırmaya çalışır.