Logic Programming Techniques

Though the logic programming paradigm has been in use for over twenty years, the programming methodology continues to be enriched. Work on skeletons and techniques aims at systematic development of logic programs for both novices and experts. Related to this are higher order styles of programming. Various other techniques more familiar in lazy functional, object oriented, imperative or relational database languages have been adapted to logic programming, sometimes using extensions to Prolog. Other extensions to Prolog which are motivated by programming methodology are coroutining, sound negation, types, modes and new pruning operators. The study of semantics also provides new ways of reasoning about the correctness of programs.

Some relevant papers etc.: