The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and they demonstrate this by extending the functional language Scheme with logical constructs -- thereby combining the benefits of both styles. The extension encapsulates most of the ideas in the logic programming language Prolog.The pedagogical method of The Reasoned Schemer is a series of questions and answers, which proceed with the characteristic humor that marked The Little Schemer and The Seasoned Schmer. Familiarity with a functional language or with the first eight chapters of The Little Schemer is assumed. 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.
《第一推动丛书·综合系列:控制论》内容简介:这是一本阐述控制论的理论和它在各方面应用的综合性、概论性的书。作者维纳是控制论
《心理学与九型人格》内容简介:追求尽善尽美的完美型、古道热肠的奉献型、脚踏实地的实干型、充满艺术气息的浪漫型、头脑冷静的观
《程序员面试逻辑题解析》共分为3个部分。第一部分从有趣且锻炼头脑的谜题入手,继而给出解题思路和详细答案,更有“热身问题”给
《历史的面孔》内容简介:中国近代历史是一段苦难史,也是一段中国人民不断探索的历史。“求新求变”贯穿着整个时空,这里面涌现了
Thisresourcegivesprofessionalsacomprehensiveunderstandingofthesimulationandevalu...
本书从概念、体系架构、机制策略、性能及其评估标准、用户体验管理及业务性能优化等各个方面对不同的蜂窝技术(GPRS,ECDMA和CDM
《想清楚 说明白》内容简介:本书主题与每个普通职场人日常工作生活都密切相关,属于绝大多数职场白领想要提升的重要素质之一。对于
P精斩极专业PPT精髓-附赠10GB 超豪华PPT资源包 本书特色 《p精斩极:专业ppt精髓》主要针对ppt 中的逻辑结构、版式制作、配色方案、图表设...
SolidWorks 2016机械设计从入门到精通-中文版-(附光盘) 本书特色 solidworks是世界上首套专门基于windows系统开发的三维cad软件...
长谷川敦士博士是日本著名的信息架构学者,他结合多年实践经验,总结出100个网站架构的实用要点。本书旁征博引,图文并茂,结构清
《审计学(第三版)》内容简介:《审计学(第三版)》教材以最新执行的审计准则为根本,以审计实务为主,突出理论与实务相结合,重
《华为内训(新版)》内容简介:翻开《华为内训》,您将步入一个炫目恢宏的商业世界,由此洞悉华为内部独特的管理经营机制。作为世
《众里寻他千百度:淑章谈古诗词》内容简介:本书以经典古诗词为抓手,融合文学、历史、美学、文献学、艺术等多门学科知识。本书包
聞名全球的「frogdesign」(青蛙設計)如何在經濟大衰退之際,還能締造破記錄營收。‧高科技設計超級巨星哈特姆.艾斯林格(青蛙設計
《三国不演义》内容简介:◆一部史实版《三国演义》!畅销书《大唐兴亡三百年》(原血腥的盛唐)作者王觉仁全新力作! ◆刘关张从未
《生命3.0》内容简介:在人工智能崛起的当下,你希望看到一个什么样的未来?当超越人类智慧的人工智能出现时,人类将何去何从?你是
IT服务连续性实现指南 本书特色 本书是一种系统地、全面地阐述it服务连续性知识体系的专著,旨在为社会培养it服务连续性领域的人才,为数据中心开展it服务连续性...
《珠宝首饰设计手册》内容简介:这是一本全面介绍珠宝首饰设计的图书,特点是知识易懂、案例趣味、动手实践、发散思维。本书从学习
CSSismessy.Atleast,italwaysseemstogetmessyasprojectsandteamsgrowinsize.Ifyou’vee...
本书是关于ML程序设计的经典教材,详细介绍如何使用ML语言进行程序设计,并讲解函数式程序设计的基本原理。书中含有大量例子,涵