摘要：
内容摘要：原子（Atom）数字（Numbers）变量（Variables）复杂语句（Complex Terms）通过上一节的学习，我们已经大概熟悉了Prolog的编程思路，这一节我们会回过头，详细学习其中的一些语法细节。首先，问一个基础的问题：我们已经在Prolog程序中看到了很多类型的表达式（比如... 阅读全文
|
摘要：
内容摘要：原子（Atom）数字（Numbers）变量（Variables）复杂语句（Complex Terms）通过上一节的学习，我们已经大概熟悉了Prolog的编程思路，这一节我们会回过头，详细学习其中的一些语法细节。首先，问一个基础的问题：我们已经在Prolog程序中看到了很多类型的表达式（比如... 阅读全文
摘要：
该系列文章是网上的Prolog学习资料：www.learnprolognow.org的中文翻译。希望能够通过翻译此学习资料，达到两个目的：第一、系统学习prolog的知识；第二、提升英文文章理解和翻译能力。内容提要：给出一些Prolog编程的简单例子；Prolog的基本结构：事实，规则和查询；环境说... 阅读全文
摘要：
内容提要：代数数据类型 - Algebraic Data Types；自定义数据类型 - data关键字；值构造器；类型变量与类型构造器；记录（Record）语法 - 简化自定义数据类型的一种语法糖；一个完整的例子 - PurchaseOrder定义和简单计算、单元测试；代数数据类型（Algebra... 阅读全文
摘要：
内容提要：静态类型系统；编译时确定类型错误；类型推导机制；基础类型：Int，Integer，Float，Double，Bool，Char；类型变量；基础类型类：Eq，Ord，Show，Read，Enum，Bounded，Num，Integral，Floating；Haskell是一门函数式编程语言，... 阅读全文
|