Logic Programming Development

Abstract

Logic Programming is going in many directions. In a sense, this is intrinsic to the matter. Logic Programming is advertised as being the right framework for tasks ranging from specification to system-programming, through theorem-proving, problem solving, knowledge representation and the like. Obviously, this induces research in various ways to enhance logic programming as it is best known and supported today, namely Prolog. Again, in the light of the various targets assigned to it, these enhancements cover very theoretical problems such as enriching negation treatment or more practical ones, such as providing access to other paradigms such as object programming or constraints programming, and possibly functional programming.