Everything about Declarative programming

🧭 Start here: a 6-step reading path

1. Read the overview: Declarative programmingA 5-minute orientation
2. Skim a recent paper: Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic ApproachInfluential work since 2022
3. Pick up a classic book: Practical aspects of declarative languagesThe most-reprinted book on the subject
4. Read the landmark paper: A verification framework for agent programming with declarative goalsCited 49 times
5. Go sideways: Logic programmingA closely related topic
6. Go sideways: PrologA closely related topic

🏆 Landmark papers (most cited)

• A verification framework for agent programming with declarative goals

  F.S. de Boer, K.V. Hindriks, W. van der Hoek · 2007 · Journal of Applied Logic · 49 citations

• Interactive Visual Data Abstraction in a Declarative Visual Programming Language

  Margaret M. Burnett, Allen L. Ambler · 1994 · Journal of Visual Languages & Computing · 42 citations

• Versatile and declarative dynamic programming using pair algebras

  Peter Steffen, Robert Giegerich · 2005 · BMC Bioinformatics · 25 citations

• Declarative Probabilistic Programming with Datalog

  Vince BáRány, Balder Ten Cate, Benny Kimelfeld · 2017 · ACM Transactions on Database Systems · 22 citations

• On the algebraic structure of declarative programming languages

  Gianluca Amato, James Lipton, Robert McGrail · 2009 · Theoretical Computer Science · 22 citations

• Declarative programming over eventually consistent data stores

  KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan · 2015 · ACM SIGPLAN Notices · 14 citations

• Declarative Layer Composition with The JCop Programming Language.

  Malte Appeltauer, Robert Hirschfeld, Jens Lincke · 2013 · The Journal of Object Technology · 13 citations

• Declarative Knowledge Programming: Better Than Procedural?

  Marshall I. Schor · 1986 · IEEE Expert · 11 citations

🆕 Influential since 2022

• Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach

  Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin · 2023 · Journal of Artificial Intelligence Research · 8 citations

• Declarative Learning-Based Programming as an Interface to AI Systems

  Parisa Kordjamshidi, Dan Roth, Kristian Kersting · 2022 · Frontiers in Artificial Intelligence · 6 citations

• Combining declarative and linear programming for application management in the cloud-edge continuum

  Jacopo Massa, Stefano Forti, Patrizio Dazzi · 2026 · Future Generation Computer Systems · 4 citations

• Veracity: declarative multicore programming with commutativity

  Adam Chen, Parisa Fathololumi, Eric Koskinen · 2022 · Proceedings of the ACM on Programming Languages · 3 citations

• Declarative probabilistic logic programming in discrete-continuous domains

  Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig · 2024 · Artificial Intelligence · 2 citations

📚 Books worth reading

• Practical aspects of declarative languagesEnrico Pontelli · 2000
• Practical aspects of declarative languagesPADL 2002 (2002 Portland, Or.) · 2002
• Joe Celko's thinking in setsJoe Celko · 2008
• Specification and verification of declarative open interaction modelsMarco Montali · 2010
• Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative ProgrammingInternational ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (2nd 2000 Montréal, Québec) · 2000
• 📕PPDP '07ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (9th 2007 Wroclaw, Poland) · 2007
• Declarative programming, Sasbachwalden 1991Phoenix Seminar and Workshop on Declarative Programming (1991 Sasbachwalden, Germany) · 1992
• Logic and declarative languageMichael Downward · 1998

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Logic programming Logic programming is a programming, database, and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical…
• Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog…
• Datalog Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down…
• Rule-based system In computer science, a rule-based system is a computer system in which domain-specific knowledge is represented in the form of rules and general-purpose…
• Syntax and semantics of logic programming Logic programming is a programming paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax…
• Answer set programming Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable…
• Reasoning system In information technology a reasoning system is a software system that generates conclusions from available knowledge using logical techniques such as…
• Outline of computer science Computer science (also called computing science) is the study of the theoretical foundations of information and computation and their implementation and…