Libri di logic programming

Algebraic and Logic Programming

Logic programming and nonmonotonic reasoning

Logic programming and nonmonotonic reasoning

Programming Logic and Design -- Comprehensive

Logic programming

Logic programming

Discrete structures, logic, and computability

Programming languages implementation and logic programming

A simple software environment based on objects and relations

Handbook of Logic in Computer Science

Essentials of logic programming

Algebras, Diagrams and Decisions in Language, Logic and Computation

Logic in databases

Logical frameworks

Evolving Knowledge Bases (Frontiers in Artificial Intelligence and Applications, 81)

Constraint solving and language processing

Logic programming

Programming in PARLOG

Parallel and distributed logic programming

Probabilistic inductive logic programming