Logic Programming with Common Lisp: A Hands-On Guide to Building Rule-Based and Expert Systems
Format:
Kindle
Fuera de stock
0.15 kg
Sí
Nuevo
Amazon
USA
- Imagine for a moment that you could stop telling the computer how to solve a problem. Imagine that you could instead teach it how to think. What if you could describe a complex system—a family tree, a set of diagnostic rules, a game's logic—and then simply ask questions of that knowledge? That is the promise of logic programming, and this book is your guide to mastering it not through theory, but through creation.The story begins with a simple question: "How does a machine reason?" We don't just answer it; we build the answer. You will start by forging the very heart of the engine—the unification algorithm—a component that can intelligently see patterns where others see only data. Then, you will construct the "brain"—a backtracking search algorithm that can navigate a complex maze of possibilities, retreating from dead ends and relentlessly seeking the truth.But an engine with no shell is just a machine. You will then assemble the final product, building an interactive shell that allows you to have a conversation with your creation, teaching it new facts and challenging it with new questions. The final act of your journey is to use your completed interpreter to build a classic expert system, a program that not only solves a problem but can explain its reasoning to you. This is the story of how you go from programmer to language architect, from user to creator.What's insideThis book provides a complete, project-based curriculum for building and understanding logic programming systems. Inside, you will:Build a Complete Interpreter from Scratch: Implement every critical component, from the low-level unification function to the high-level, interactive REPL.Master the Declarative Mindset: Learn to transform problems by modeling them as a collection of facts and rules, unlocking a new and powerful way to think about software.Harness Lisp's Unique Power: Discover firsthand why Common Lisp's symbolic nature and metaprogramming capabilities make it the ultimate tool for language creation.Construct a Real Expert System: Go beyond theory with a final capstone project where you build a working diagnostic system that can reason about a problem and explain its own conclusions.Implement Advanced Features: Extend your interpreter with practical tools like built-in arithmetic, list-processing predicates, and the powerful cut operator to control the search process.Learn to Debug Declaratively: Build a "tracer" that makes the engine's hidden logic visible, giving you the power to understand and debug the flow of reasoning in any rule-based system.Who it's meant forI wrote this book for anyone who is ready to go beyond just using languages and wants to understand how they are built. It is for you if:You are a curious Lisp programmer who wants to explore one of the most exciting applications of the language: building AI systems and creating new languages.You are an AI enthusiast who wants a deep, foundational understanding of how symbolic reasoning and classic expert systems actually work under the hood.You are a student of computer science who is tired of theory and wants a hands-on project that touches on parsers, interpreters, search algorithms, and advanced programming paradigms.You are an aspiring language designer interested in creating your own Domain-Specific Languages (DSLs) and want to see a complete, working example built from first principles.You are holding more than just a book. This is an invitation—a challenge to go deeper, to build the tools that others only use, and to truly understand the art of teaching a machine how to reason. The journey from programmer to architect begins with a single line of code.
Producto prohibido
Este producto no está disponible