Description
The Reasoned Schemer, second edition published by MIT Press, teaches the concepts of logical and relational programming using a unique question-and-answer style. The authors’ main goal is to show the beauty and elegance of relational programming and how to implement it in Scheme or other functional languages, leading to a deeper understanding of logic in computer science.
In the new edition, the programming language used and how it is implemented have been significantly simplified to make it easier for readers to relate to the concepts. With a humorous and educational tone, this work is designed to introduce functional programmers to logical thinking and logical programmers to functional approaches, establishing a bridge between these two programming worlds.
Book Features
- Using the question and answer teaching method to facilitate understanding of complex logic programming concepts.
- Added explicit translation rules to more easily convert functions to relations.
- Extensive simplification in language implementation and a complete overhaul of the book’s educational “rules” and “commandments.”
- Focus on concepts such as unification and control structures in logic programming.
- Suitable for AI developers and researchers looking to strengthen logical reasoning skills in coding.
Book specifications
- Publisher: MIT Press
- Instructor/Author: Daniel P. Friedman
- Number of pages: 205
- Number of chapters: 9
- Format: PDF
Headlines
Pictures
User Guide
Extract the file and run it with the appropriate software.
Download link
File(s) password: www.downloadly.ir
[ad id=’11306′]
File size
5.3 MB
