Abstract

Logic Programming is an approach to expressing computations that states what is to be done using formulæ in some logic, and leaves the decision of how it should be done to the strategy of a stylized theorem prover. Practical programming languages based on this paradigm include ways to control this strategy, as well as facilities to organize and modularize code. One of the expected advantages of this approach is to make it possible to specify solutions at a high level and leave many execution details to the decision procedure. This in turn would help adopt a higher-level approach to problem solving, which abstracts many implementation details.