Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Van Caneghem Michel Warren David
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.