Dear community,
The book Prolog: The Next 50 Years has now been published online (editors: David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi). You can find the table of contents here.
Me and Håkan Kjellerstrand (@hakank) wrote a chapter Prolog for Scientific Explanation; you can find it in fulltext here. In the chapter we discuss the advantages of Prolog for scientific explanation, specifically
- The ability to represent asymmetric many-one relations, which play a major role in causal laws
- The ability to represent relations that involve quantitative and qualitative objects (i.e. both mathematics and natural language-like information)
- Homoiconicity (Prolog programs can handle Prolog programs as data)
- Transparency (important in relation to explainable AI)
We also discuss abduction in relation to scientific explanation and inductive logic programming in relation to empirical research.
Kind regards, JCR