Review of Computing with Logic: Logic Programming with Prolog
Reyna Abhyankar
Abstract
Reyna Abhyankar
Abstract
Emphasizing theory and implementation issues more than specific applications and Prolog programming techniques, this book by David Maier and Davis S. Warren, respected researchers in logic programming, is a superb book.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Emphasizing theory and implementation issues more than specific applications and Prolog programming techniques, this book by David Maier and Davis S. Warren, respected researchers in logic programming, is a superb book.
Key concepts: Prolog, Logic programming, Programming language, Computer science, Horn clause, Logic program, Inductive programming, Declarative programming