ProLog

http://www.chinaai.org/Article_Show.asp?ArticleID=314

完整的prolog程序是有事实和规则组成的。

事实用来储存一些数据，而规则用来储存某种可以推理出来的关系。

理论上来说使用c语言可以编制任何种类的程序，甚至连prolog语言都是使用c语言编写的。不过对于急于开发应用程序的用户，最关心的是如何最经济最有效率的开发程序，prolog为你多提供了一个选择的余地。

在prolog程序中，是很难分清楚哪些是程序，哪些是数据的。事实上，prolog中的所有东西都有相同的形式，也就是说数据就是程序，程序就是数据。

prolog的原理就是关系数据库，它是建立在关系数据库的基础上的。在以后的学习中你会发现它和SQL数据库查询语言有很多相似之处。使用prolog可以很方便的处理数据。

http://groups.google.co.id/group/nirvanastudio/browse_thread/thread/dd5ad220e3c086a6/137508f386298e1e?lnk=raot&hl=id
函数Currying的意思就是将参数和函数关联起来，变成一个新的函数。比如一个二元参数f a b
当给出f 1的时候，应该返回什么呢？一般的语言中，要么是将b设为一个默认值，要么就是直接出错，而当有了Currying，那么f
1其实返回一个函数g x = f 1 x。

在理论计算机科学中，Curry化提供了在简单的理论模型中比如只接受一个单一参数的lambda 演算中研究带有多个参数的函数的方式。

Lambda 演算可以被称为最小的通用程序设计语言。它包括一条变换规则 (变量替换) 和一条函数定义方式，Lambda 演算之通用在于，任何一个可计算函数都能用这种形式来表达和求值。因而，它是等价于图灵机的。尽管如此，Lambda 演算强调的是变换规则的运用，而非实现它们的具体机器。可以认为这是一种更接近软件而非硬件的方式。