prolog是一门比较独特的语言，有人将之归纳为“声明式”。特点是，开发者通过构建基于数理逻辑的“知识库”，而后由prolog根据知识库主动求解，而无需开发者描述算法。因此如何构建知识库，或者说，如何使用数理逻辑的方式描述已知和问题，是学习prolog的重点。
在prolog里，小写字母开头的字符序列为一个“原子（atom）”，大写字母开头的字符序列为一个“变量”。原子类似ruby中的symbol。“_”可以匹配任意变量，可以视作一个占位符。
知识库需要写在文件里预先编译，写好后在prolog交互控制台里执行['filename.pl'].来编译知识库。
交互控制台似乎只能查询。另外不同的prolog中有各自不同的方言。
注意...
prolog学习备忘
辙道辕门 发表于：2014-07-01 16:29:22 +0800
阅览(75)评论(0) 全文
Io学习备忘
辙道辕门 发表于：2014-07-01 15:42:43 +0800
Io lanuage是一门原型语言，没有类和对象之分。首字母大写的对象表示它是一个单独的type;小写的对象表示它的type是由父对象决定的，或者说它是父对象的一个“实例”。
强类型： 1+ "1"是不合法的。但变量无需显式声明类型;也可以赋值为其他的类型。
操作符： :=, =的区别：前者无论槽是否已存在都可以成功赋值；后者当槽不存在时会抛出异常。
io的一切都是消息。通过method(arg1, arg2, ...argN).的方式来定义一个method。返回值是这个method本身。对method对象发送call消息，即可调用方法。定义的方法中，最后一个参数是方法体，之前的参数是形参。
在method中，可以使用call槽来获取本次调用的信息，包括消息的发送者、接收者、消息本身。对于消息对象，使用doMessage(message...
阅览(75)评论(0) 全文