Problem posing interpretation of programming languages
Christopher A. Landauer, Kirstie L. Bellman · 2003
In this paper, we describe a programming paradigm that changes the focus of programming from solution methods for certain application problems to the specification of the problems themselves, leaving the mapping from the problem specification to the computational resources that will provide or coordinate the solution to one or more separate (and possibly external) information files, knowledge bases, or other processes. The Problem Posing Interpretation is a declarative programming paradigm that uses Knowledge-Based Polymorphism to unify the interpretation of all programming languages. We describe examples from all major programming paradigms, to justify this claim.