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

 
9780893912321: Logic Programming and Its Applications (Ablex Series in Artificial Intelligence)

Synopsis

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.

"synopsis" may belong to another edition of this title.