The reasoned schemer /
"Adding logic capabilities required the introduction of new forms. The authors' goal is to show to what extent writing logic programs is the same as writing functional programs using these forms. In this way, the reader of The Reasoned Schemer will come to understand how simple logic progr...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge, Mass. :
MIT Press,
©2005.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | "Adding logic capabilities required the introduction of new forms. The authors' goal is to show to what extent writing logic programs is the same as writing functional programs using these forms. In this way, the reader of The Reasoned Schemer will come to understand how simple logic programming is and how easy it is to define functions that behave like relations."--Jacket. |
|---|---|
| Item Description: | Includes index. |
| Physical Description: | 1 online resource (x, 169 pages) : illustrations |
| ISBN: | 0262256177 9780262256179 |
| DOI: | 10.7551/mitpress/5801.001.0001 |