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.
《跨海之战》内容简介:金门、海南和一江山三次跨海之战经历了一个相当复杂的过程。以三次战争为线索,体现国共双方在战略方针的较
RobinWilliams世界著名的设计师、技术专家和畅销书作家。通过写书和授课,她已经影响了整整一代数字设计师。同时,作为Adobe和Ma
遥感应用分析原理与方法-(第二版) 本书特色 本书是一本全面系统论述遥感原理及其应用分析方法的基础理论著作。全书共16章,包括三大部分内容。**部分:第1至第5...
《庆典舞曲》内容简介:《武汉音乐学院“音乐创作·湖北省协同创新中心”作曲家作品系列·庆典舞曲:钢琴与乐队》作品试图以快速旋
作者在充分消化历史、文化、风俗、地理、经济、军事、外交、科技等有关史实的前提下,从日本以情报立国这一国策入手,用汪洋自肆
《海蒂育儿大百科:0~1岁(2023版)》内容简介:宝宝不会带着说明书来到这个世界,新手父母难免遇到各种问题。这时,一部专业可靠的
单片机中级教程--原理与应用(第2 版) 内容简介 本书为普通高等教育“十一五”国家级规划教材,以80C51系列单片机为主线,系统地介绍了单片机的组成、工作原理...
你会是那个熟读离心力概念却无法解释潮汐成因的中学生吗?其实,中学物理是与日常生活关系最密切的科目。本书将繁杂的物理公式与
《宋学研究(第二辑)》内容简介:本书为浙江省哲学社会科学重点研究基地浙江大学宋学研究中心主办的学术辑刊。“宋学研究”学术集
小田圭二日本Oracle株式会社咨询部门经理。在解决性能问题方面有着丰富的经验,著有《图解OS、存储、网络:DB的内部机制》(絵で
《果实和种子类中草药彩色图鉴》内容简介:本书收载了常用果实和种子类中草药120种,详细介绍了每种中草药的别名、来源、产地、采收
《IP电话技术与软交换(第2版)》较全面地介绍了与IP电话和软交换有关的技术。主要包括IP电话的基本概念,IP电话网的一般结构和IP电
《中国之读:“中国文学”的理论和方法》内容简介:本书是作者近些年来从事文学研究所作论文的选编。着眼于文学理论和评论的“中国
《天津滨海新区史话》内容简介:天津滨海新区地处海河下游、渤海湾西岸,河海相依,临海近都,区位优越。这里曾是中国人民抗击外侮
电商、O2O、P2P、互联网金融等概念先是被疯狂追捧,在泡沫越吹越大之后便是哀鸿遍野。这本书正是解答泡沫破灭之后怎么办?自从以
你的游戏是否有角色不能任意走动?是否有角色走进障碍物?是否有非玩家角色不能按照团队运动?现在你就可以掌握高级人工智能(AI
《组织合伙人:寻找增长新曲线》内容简介:企业增长的底层逻辑是什么?企业组织架构的痛点是什么?如何找到企业的增长新曲线?如何
本书主要针对lighttpd源码进行了深度剖析。主要内容包括:lighttpd介绍与分析准备工作、lighttpd网络服务主模型、lighttpd数据结
ProductDescriptionDesigningInteractiveSystems:People,Activities,Contexts,Technol...
《小学主题式综合活动课程案例选编》内容简介:本书是上海市开展小学主题式综合活动课程研究和实施工作以来汇总的首个学校案例集。