Alex He

...永远保持希望与激情...约会未来更强大的自己...

 

2012年11月13日

Alchemy用户手册:谓词和函数

摘要: 5. 谓词和函数 Alchemy中可以使用三种不同的谓词和函数:用户自定义的,内部的或者内联的[注:指用C++写的谓词和函数]。大多数情况下,用户都提供一定数量的(有限数量的)带有真假值的闭原子;但是Alchemy也允许用户与定义他自己用C++写出的谓词和函数(内联函数linked-in)。内部处理的函数和谓词在本质上其实是一样的,因为谓词可以被视为布尔函数。 在Alchemy中,原子(谓词作用与... 阅读全文

posted @ 2012-11-13 18:35 Alex木头 阅读(577) 评论(0) 推荐(0) 编辑

导航