The use of logic languages for real-life applications is becoming larger
and larger, thereby requiring solid foundations of formal techniques for
the analysis and verification of programs.
The aim of this research project is to re-unite Automatic Theorem
Proving and Logic Programming in order to introduce new and more powerful
methods for proving properties of logic programs (also referred to as program
verification).