.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
通过为函数式语言Scheme添加逻辑结构，以帮助函数式程序员进行逻辑思考，并帮助逻辑程序员进行函数式思考。
The Reasoned Schemer的目标是帮助函数式程序员进行逻辑思考，并帮助逻辑程序员进行函数式思考。The Reasoned Schemer的作者们认为，逻辑编程是函数式编程的自然扩展，他们通过为函数式语言Scheme添加逻辑结构来证明这一点——从而结合了两种风格的优点。该扩展封装了逻辑编程语言Prolog中的大部分思想。The Reasoned Schemer的教学方法是一系列问答，其进展方式带有The Little Schemer和The Seasoned Schemer所特有的幽默风格。假设读者熟悉一种函数式语言或The Little Schemer的前八章内容。添加逻辑功能需要引入新的形式。作者的目标是展示使用这些形式编写逻辑程序在多大程度上与编写函数式程序相同。通过这种方式，The Reasoned Schemer的读者将理解逻辑编程的简单性，以及定义行为类似关系的函数有多么容易。
期刊
暂无期刊信息
机构
暂无机构信息
引用论文
暂无论文信息