Logic Programming and Its Applications (Ablex Series in Artificial Intelligence) - Tapa dura

Logic programming is an emerging approach to computer science where programs are viewed as sets of logical axioms and computation is viewed as carefully controlled logical deduction. The approach currently finds practical realization in the programming language PROLOG. This volume contains details of research in the field, with a special emphasis on applications including expert systems, natural language parsing and analysis, database management and knowledge acquisition, circuit analysis, and hardware verification.