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.
《日本论》内容简介:戴季陶曾留学日本多年,与日本民众有过深入的交往,因此对日本有着通透的认识。在本书中,他纵论日本从皇权、
《电脑时代的先锋》内容简介:人类学家玛格丽特·米德认为,人类发展的历史将经历三种不同的文化:前喻文化是后代人必须向前代人
关于算法分析的这多卷论著已经长期被公认为经典计算机科学的定义性描述。迄今已出版的完整的三卷组成了程序设计理论和实践的惟一
《美国留学移民全攻略》内容简介:《海外留学指南系列:美国留学移民全攻略》的主要目标读者定位于留学方面,以国内接受过中等教育、
陈宇恒、肖竹、王洪编著的《LTE协议栈与信令分析》首先介绍了LTE系统架构,主要包括网络实体、网络接口、主要协议等,随后深入地
本书主要包括两方面内容,首先是对工业设计发展的简要历史的回顾,从中读者可以理解工业国家的技术发展过程的经验和教训。然后探
《Unity 5.X 3D游戏开发技术详解与典型案例》内容简介:本书对Unity3D集成开发环境界面、脚本的编写和众多高级特效的实现进行了详细
《温暖的麦穗》内容简介:本书是国务院新闻办公室三局局长张雁彬的随笔散文集。书中收录了作者自大学毕业后在生活、工作中写下的一
创意字体与标志设计 本书特色 创意字体作为视觉信息传达的一部分,在大众传媒、企业形象、商品包装、橱窗及店面设计等方面,显示出越来越重要的作用。在字体的设计中,有...
本书是《ACM图灵奖--计算机发展史的缩影》一书的姊妹篇。IEEE计算机先驱奖已经颁发了20届,共有108位计算机科学技术工作者获奖,
TherevisedqualitymanagementsystemsISO9001:2000wasputinplaceinDecember2000.Therei...
全国计算机等级考试教程二级公共基础知识 本书特色 《全国计算机等级考试教程——二级公共基础知识》依据教育部考试中心*新发布的《全国计算机等级考试大纲》以及作者多...
《千脑智能》内容简介:近些年,当人们谈论人工智能时,总热衷于讨论算法的优化、模型的迭代、算力的多少。人们不断地在追求模型的
本书是编程语言先驱者IvorHorton的经典之作,是C语言方面最畅销的图书品种之一。本书集综合性、实用性为一体,是学习C语言的优秀
《移动通信频谱技术与5G频率部署》内容简介:无线电频谱是所有无线电业务的稀缺、关键资源。对移动运营商而言,频谱资源是网络建设
《普仁明堂示扶正:贺氏针灸理论精华及临床实录》内容简介:本书分为两部分。上篇主要讲述了贺氏针灸流派的理论精华:三通法(微通
《凡世与神界》内容简介:从“日月崇拜”“四方四神”“动物有灵”“权力信仰”“祖先崇拜”“造神运动”六个角度,环绕日月、天地
AppropriateforcoursestitledComputerNetworkingorIntroductiontoNetworkingatboththe...
《学习书法的十三个问题》内容简介:本书是近现代著名书法家启功先生对书法学习中常见问题的专题讲解,包括:迷信由于误解、字形结
《我的心又一度的跳荡》内容简介:《我的心又一度的跳荡:徐志摩诗文精选/民国大师精美诗文系列》是一本徐志摩的作品诗文集。他的诗