Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)

TL;DR

This collection presents research papers from WLPE'06, focusing on logic-based methods in programming environments, showcasing recent advances discussed at the workshop held alongside ICLP'06 in Seattle.

Contribution

It compiles recent research contributions in logic-based programming environments, highlighting new methods and applications discussed at the 16th WLPE workshop.

Findings

Various new logic-based programming techniques presented

Advances in environment support for logic programming

Integration of logic methods into programming environments

Abstract

This volume contains the papers presented at WLPE'06: the 16th Workshop on Logic-based Methods in Programming Environments held on August 16, 2006 in the Seattle Sheraton Hotel and Towers, Seattle, Washington (USA). It was organised as a satellite workshop of ICLP'06, the 22th International Conference on Logic Programming.