การเขียนโปรแกรมเชิงประกาศ เป็นกระบวนทัศน์การเขียนโปรแกรมคอมพิวเตอร์ที่ผู้พัฒนากำหนดว่าโปรแกรมควรทำอะไรให้สำเร็จแทนที่จะกำหนดอย่างชัดเจนว่าควรทำอย่างไร วิธีการนี้จะให้คำจำกัดความของการเขียนโปรแกรมตามธรรมชาติของระบบตรรกะอย่างเป็นทางการและมีประโยชน์ในการทำให้การโปรแกรมของโปรแกรมประมวลผลแบบขนานบางอย่างง่าย

ภาษาการเขียนโปรแกรมสำแดง

• ABSET
• Absys
• แอลฟา
• มด
• ASCEND
• อะตอม
• ATS
• บรูคส์
• เทียน
• แกง
• CLP (R)
• Curl
• Cycl
• Datalog
• DASL
• ML ที่ขึ้นอยู่กับ
• ECL
• SQL แบบฝัง
• Erlang
• EAML
• F-ลอจิก
• FXML
• Genexus
• Glowe
• เป้าหมาย
• Gofer
• GtkBuilder ชุด
• ท่าเรือ
• HiLog
• HPCC
• สคริปต์ JavaFX
• JModelica
• KM
• อ่อน
• LOOM
• สุวิมล
• ความเป็นเงา
• Metafont
• MetaPost
• มิแรนดา
• Modelica
• MXML
• ออนซ์
• กระทะ
• อารัมภบท
• ทดลอง
• PTQL
• .QL
• QML
• Quark Framework
• ปากกาขนนก
• RDQL
• SequenceL
• สัญญาณ
• SMIL
• SPARQL
• SQL
• ตรรกะการทำธุรกรรม
• ภาษาอภิปรัชญาเว็บ
• Xbase
• XProc
• XSLT

ตรรกะ, กระบวนทัศน์, ภาษาการเขียนโปรแกรม, เงื่อนไขการเขียนโปรแกรม