练习题 2.1 下面各组语句中，哪些组是能够合一的？如果能够合一，请给出变量初始化的信息。1. bread = bread.2. 'Bread' = bread.3. 'bread' = bread.4. Bread = bread.5. bread = sausage.6. food(bread)...
分类：
其他好文 时间：
2015-07-03 15:29:53
阅读次数：
127
证明搜索上一节我们已经学习了合一，本节我们继续学习Prolog是如何通过搜索知识库去决定输入的查询是否能够满足。我们将会学习证明搜索，并通过简单的一个例子去涵盖这个基础的概念。假设我们有如下的知识库：f(a).f(b).g(a).g(b). h(b).k(X) :- f(X), g(X), h(X)...
分类：
其他好文 时间：
2015-07-02 13:56:26
阅读次数：
178
概述
像在VB，C#,C，C++，Java中我们可以看到static作为关键字和函数出现，在其他的高级计算机语言如FORTRAN、ALGOL、COBOL、BASIC、LISP、SNOBOL、PL/1、Pascal、PROLOG、Ada等语言中也是有出现的，只是有着不同的作用，对于其具体作用，读者有需要的时候是可以具体查阅的。
理解...
内容提要：合一的定义；一些合一的例子；触发校验；使用合一编程；合一的定义在上一章的知识库KB4中，我们简单地提及了合一的思想。比如，Prolog将woman(X)和woman(mia)合一，所以把变量X初始化为mia。现在是时候更加细致地研究合一，因为合一是Prolog中最为基础的思想。回顾一下Pr...
分类：
其他好文 时间：
2015-07-01 11:43:36
阅读次数：
137
练习题 1.1 下面的字符序列哪些是原子，哪些是变量，哪些两者都不是？1. vINCENT2. Footmassage3. variable234. Variable20005. big_kahuna_burger6. 'big kahuna burger'7. big kahuna burger8...
分类：
其他好文 时间：
2015-06-27 11:34:19
阅读次数：
177
内容摘要：原子（Atom）数字（Numbers）变量（Variables）复杂语句（Complex Terms）通过上一节的学习，我们已经大概熟悉了Prolog的编程思路，这一节我们会回过头，详细学习其中的一些语法细节。首先，问一个基础的问题：我们已经在Prolog程序中看到了很多类型的表达式（比如...
分类：
其他好文 时间：
2015-06-26 19:36:41
阅读次数：
180
该系列文章是网上的Prolog学习资料：www.learnprolognow.org的中文翻译。希望能够通过翻译此学习资料，达到两个目的：第一、系统学习prolog的知识；第二、提升英文文章理解和翻译能力。内容摘要：给出一些Prolog编程的简单例子；Prolog的基本结构：事实，规则和查询；环境说...
分类：
其他好文 时间：
2015-06-25 15:28:16
阅读次数：
237
原文地址： http://www.behnel.de/cython200910/talk.html以下为原文 About myself Passionate Python developer since 2002 after Basic, Logo, Pascal, Prolog, Scheme, Java, C, ... CS studies in Germany, I...
分类：
编程语言 时间：
2015-06-19 12:05:30
阅读次数：
206
org.xml.sax.SAXParseException; lineNumber: 1; columnNumber: 1; Content is not allowed in prolog....
分类：
编程语言 时间：
2015-05-10 01:06:41
阅读次数：
490
语言无关类
优质博客
操作系统
智能系统
WEB服务器
版本控制
编辑器
NoSQL
PostgreSQL
MySQL
项目相关
设计模式
Web
大数据
编程艺术
其它
语言相关类
Android
AWK
C/C++
CSS/HTML
Dart
Erlang
Fortran
Go
Groovy
Haskell
iOS
Java
JavaScript
LaTeX
LISP
Lua
Perl
PHP
Prolog
Python
R
Ruby
Scala
Scheme
Shell
Swift
读书笔记及其它...
分类：
其他好文 时间：
2015-04-15 17:12:23
阅读次数：
265
