Prolog for Scientific Explanation
Scientific explanations play an important role in most academic disciplines because they give us a fundamental understanding of why things happen or do not happen. In this paper we argue that Prolog has certain properties that make the language ideal for generating scientific explanations. We illustrate these properties in relation to a scientific theory.