Declarative programming (English Wikipedia)

Mei, Hongyuan; Qin, Guanghui; Xu, Minjie; Eisner, Jason (2020). "Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification". Proceedings of ICML 2020. arXiv:2006.16723.

books.google.com (Global: 3^rd place; English: 3^rd place)

Gelfond, Michael (2008). "Answer sets". In van Harmelen, Frank; Lifschitz, Vladimir; Porter, Bruce (eds.). Handbook of Knowledge Representation. Elsevier. pp. 285–316. ISBN 978-0-08-055702-1. as PDF Archived 2016-03-03 at the Wayback Machine

doi.org (Global: 2^nd place; English: 2^nd place)

Robert Kowalski; Donald Kuehner (Winter 1971). "Linear Resolution with Selection Function" (PDF). Artificial Intelligence. 2 (3–4): 227–260. doi:10.1016/0004-3702(71)90012-9. ISSN 0004-3702. Archived (PDF) from the original on 2015-09-23. Retrieved 2023-08-13.
Warren, D.S. (2023). "Introduction to Prolog". In Warren, D.S.; Dahl, V.; Eiter, T.; Hermenegildo, M.V.; Kowalski, R.; Rossi, F. (eds.). Prolog: The Next 50 Years. Lecture Notes in Computer Science (LNCS). Vol. 13900. Springer, Cham. pp. 3–19. doi:10.1007/978-3-031-35254-6_1. ISBN 978-3-031-35253-9.

free.fr (Global: 283^rd place; English: 705^th place)

alain.colmerauer.free.fr

"Birth of Prolog" (PDF). November 1992. Archived (PDF) from the original on 2015-04-02. Retrieved 2022-05-25.

ic.ac.uk (Global: low place; English: low place)

doc.ic.ac.uk

Robert Kowalski; Donald Kuehner (Winter 1971). "Linear Resolution with Selection Function" (PDF). Artificial Intelligence. 2 (3–4): 227–260. doi:10.1016/0004-3702(71)90012-9. ISSN 0004-3702. Archived (PDF) from the original on 2015-09-23. Retrieved 2023-08-13.
Robert Kowalski Predicate Logic as a Programming Language Archived 2016-02-07 at the Wayback Machine Memo 70, Department of Artificial Intelligence, University of Edinburgh. 1973. Also in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, pp. 569-574.

ionos.com (Global: low place; English: low place)

"Imperative programming: Overview of the oldest programming paradigm". IONOS Digital Guide. 2021-05-21. Archived from the original on 2022-05-03. Retrieved 2023-05-23.

labri.fr (Global: low place; English: low place)

phoenix.labri.fr

"An overview on dsls". Archived from the original on October 23, 2007.

programmazionelogica.it (Global: low place; English: low place)

Lloyd, J.W. (September 19–22, 1994). "Practical Advantages of Declarative Programming" (PDF). In Alpuente, María; Barbuti, Roberto; Ramos, Isidro (eds.). GULP-PRODE'94 1994 Joint Conference on Declarative Programming. Vol. I. Peñíscola, Spain. pp. 3–17.

simulistics.com (Global: low place; English: low place)

"Declarative modelling". Simulistics. Archived from the original on 11 August 2003. Retrieved 15 August 2013.

ttu.edu (Global: 4,794^th place; English: 2,995^th place)

depts.ttu.edu

Gelfond, Michael (2008). "Answer sets". In van Harmelen, Frank; Lifschitz, Vladimir; Porter, Bruce (eds.). Handbook of Knowledge Representation. Elsevier. pp. 285–316. ISBN 978-0-08-055702-1. as PDF Archived 2016-03-03 at the Wayback Machine

ucdavis.edu (Global: 2,336^th place; English: 1,492^nd place)

cs.ucdavis.edu

Huang, Shan Shan; Green, Todd J.; Loo, Boon Thau (June 12–16, 2011). Datalog and Emerging applications (PDF). SIGMOD 2011. Athens, Greece: Association for Computing Machinery. ISBN 978-1-4503-0661-4. Archived (PDF) from the original on 2020-10-22. Retrieved 2023-08-13.

unsw.edu.au (Global: 4,700^th place; English: 2,797^th place)

cse.unsw.edu.au

"DAMP 2009: Workshop on Declarative Aspects of Multicore Programming". Cse.unsw.edu.au. 20 January 2009. Archived from the original on 13 September 2013. Retrieved 15 August 2013.
Chakravarty, Manuel M. T. (14 February 1997). On the Massively Parallel Execution of Declarative Programs (Doctoral dissertation). Technische Universität Berlin. Archived from the original on 23 September 2015. Retrieved 26 February 2015. In this context, the criterion for calling a programming language declarative is the existence of a clear, mathematically established correspondence between the language and mathematical logic such that a declarative semantics for the language can be based on the model or the proof theory (or both) of the logic.

w3schools.com (Global: low place; English: low place)

"SQL Stored Procedures". www.w3schools.com. Retrieved 2026-08-02.

web.archive.org (Global: 1^st place; English: 1^st place)

"Imperative programming: Overview of the oldest programming paradigm". IONOS Digital Guide. 2021-05-21. Archived from the original on 2022-05-03. Retrieved 2023-05-23.
"DAMP 2009: Workshop on Declarative Aspects of Multicore Programming". Cse.unsw.edu.au. 20 January 2009. Archived from the original on 13 September 2013. Retrieved 15 August 2013.
Chakravarty, Manuel M. T. (14 February 1997). On the Massively Parallel Execution of Declarative Programs (Doctoral dissertation). Technische Universität Berlin. Archived from the original on 23 September 2015. Retrieved 26 February 2015. In this context, the criterion for calling a programming language declarative is the existence of a clear, mathematically established correspondence between the language and mathematical logic such that a declarative semantics for the language can be based on the model or the proof theory (or both) of the logic.
"An overview on dsls". Archived from the original on October 23, 2007.
"Declarative modelling". Simulistics. Archived from the original on 11 August 2003. Retrieved 15 August 2013.
"Birth of Prolog" (PDF). November 1992. Archived (PDF) from the original on 2015-04-02. Retrieved 2022-05-25.
Robert Kowalski; Donald Kuehner (Winter 1971). "Linear Resolution with Selection Function" (PDF). Artificial Intelligence. 2 (3–4): 227–260. doi:10.1016/0004-3702(71)90012-9. ISSN 0004-3702. Archived (PDF) from the original on 2015-09-23. Retrieved 2023-08-13.
Robert Kowalski Predicate Logic as a Programming Language Archived 2016-02-07 at the Wayback Machine Memo 70, Department of Artificial Intelligence, University of Edinburgh. 1973. Also in Proceedings IFIP Congress, Stockholm, North Holland Publishing Co., 1974, pp. 569-574.
Huang, Shan Shan; Green, Todd J.; Loo, Boon Thau (June 12–16, 2011). Datalog and Emerging applications (PDF). SIGMOD 2011. Athens, Greece: Association for Computing Machinery. ISBN 978-1-4503-0661-4. Archived (PDF) from the original on 2020-10-22. Retrieved 2023-08-13.
Gelfond, Michael (2008). "Answer sets". In van Harmelen, Frank; Lifschitz, Vladimir; Porter, Bruce (eds.). Handbook of Knowledge Representation. Elsevier. pp. 285–316. ISBN 978-0-08-055702-1. as PDF Archived 2016-03-03 at the Wayback Machine

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Sebesta, Robert (2016). Concepts of programming languages. Boston: Pearson. ISBN 978-0-13-394302-3. OCLC 896687896.
Robert Kowalski; Donald Kuehner (Winter 1971). "Linear Resolution with Selection Function" (PDF). Artificial Intelligence. 2 (3–4): 227–260. doi:10.1016/0004-3702(71)90012-9. ISSN 0004-3702. Archived (PDF) from the original on 2015-09-23. Retrieved 2023-08-13.

Declarative programming (English Wikipedia)

archive.org (Global: 6th place; English: 6th place)

arxiv.org (Global: 49th place; English: 31st place)

books.google.com (Global: 3rd place; English: 3rd place)

doi.org (Global: 2nd place; English: 2nd place)

free.fr (Global: 283rd place; English: 705th place)

alain.colmerauer.free.fr

ic.ac.uk (Global: low place; English: low place)

doc.ic.ac.uk

ionos.com (Global: low place; English: low place)

labri.fr (Global: low place; English: low place)

phoenix.labri.fr

programmazionelogica.it (Global: low place; English: low place)

simulistics.com (Global: low place; English: low place)

ttu.edu (Global: 4,794th place; English: 2,995th place)

depts.ttu.edu

ucdavis.edu (Global: 2,336th place; English: 1,492nd place)

cs.ucdavis.edu

unsw.edu.au (Global: 4,700th place; English: 2,797th place)

cse.unsw.edu.au

w3schools.com (Global: low place; English: low place)

web.archive.org (Global: 1st place; English: 1st place)

worldcat.org (Global: 4th place; English: 4th place)

search.worldcat.org

archive.org (Global: 6^th place; English: 6^th place)

arxiv.org (Global: 49^th place; English: 31^st place)

books.google.com (Global: 3^rd place; English: 3^rd place)

doi.org (Global: 2^nd place; English: 2^nd place)

free.fr (Global: 283^rd place; English: 705^th place)

ttu.edu (Global: 4,794^th place; English: 2,995^th place)

ucdavis.edu (Global: 2,336^th place; English: 1,492^nd place)

unsw.edu.au (Global: 4,700^th place; English: 2,797^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

worldcat.org (Global: 4^th place; English: 4^th place)