Foundations of Logic Programming (Symbolic Computation)
Foundations of Logic Programming examines the core ideas behind logic programming and its connection to symbolic computation. Written as a scholarly reference, it offers readers a structured introduction to the principles and formal foundations of this important area of computer science.
About This Book
Foundations of Logic Programming presents an academic treatment of logic programming within the broader context of symbolic computation.
The book focuses on foundational concepts and formal ideas relevant to understanding how logic-based methods support computation.
It is suited to readers looking for a rigorous reference or study text in computer science, programming, and mathematical logic.
Reviews
No reviews yet. Be the first to review this book!