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.: