description: This text aims at promoting a convergence between the technical challenges of developing advanced software systems and the formal techniques, tools and features evolving from the logic programming paradigm. It provides contributions towards different apsects of logic programming.
language: English
title: Logic Programming: Formal Methods and Practical Applications
titlecomplete: Logic Programming: Formal Methods and Practical Applications (STUDIES IN COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE)
publisher: North-Holland