The Reasoned Schemer is a book by [[Daniel P. Friedman]] that introduces the notion, usage, and application of logic programming. It is entirely structured in a question/answer format, which slowly introduces you to all the base "control" structures you would need in logic programming. The book first introduces the reader to the basics of logic programming, including the concept of Prolog, a popular logic programming language. It then discusses the different ways that logic programs can be implemented, including using a theorem prover or using a relational programming language. The book also covers a number of advanced topics in logic programming, such as meta-programming, constraint programming, and abduction. It concludes with a discussion of the future of logic programming. The Reasoned Schemer is a well-written and accessible introduction to logic programming. It is a valuable resource for anyone who is interested in learning about this powerful and versatile programming paradigm. Here are some of the key features of the book: - **A question-and-answer format:** The book is written in a dialogue format, which makes it easy to read and understand. The questions are carefully designed to lead the reader through the material in a logical way. - **A focus on practical applications:** The book focuses on the practical applications of logic programming. It includes a number of examples of how logic programming can be used to solve real-world problems. - **Coverage of a wide range of topics:** The book covers a wide range of topics, from the basics of logic programming to advanced topics such as meta-programming and constraint programming. - **A clear and concise writing style:** The book is written in a clear and concise style. The author explains complex concepts in a way that is easy to understand. If you are interested in learning about logic programming, I highly recommend The Reasoned Schemer. It is an excellent introduction to this powerful and versatile programming paradigm. # References ```dataview Table title as Title, authors as Authors where contains(subject, "The Reasoned Schemer") or contains(title, "The Reasoned Schemer") ```