Logic Programming

<b>Includes tutorials lectures and refereed papers on all aspects of logic programming including theoretical foundations constraints concurrency and parallelism deductive databases language design and implementation nonmonotonic reasoning and logic programming and the Internet.</b><p>The International Conference on Logic Programming sponsored by the Association for Logic Programming includes tutorials lectures and refereed papers on all aspects of logic programming including theoretical foundations constraints concurrency and parallelism deductive databases language design and implementation nonmonotonic reasoning and logic programming and the Internet.</p>