Alchemy用户手册：谓词和函数
摘要：
5. 谓词和函数 Alchemy中可以使用三种不同的谓词和函数：用户自定义的，内部的或者内联的[注：指用C++写的谓词和函数]。大多数情况下，用户都提供一定数量的(有限数量的)带有真假值的闭原子；但是Alchemy也允许用户与定义他自己用C++写出的谓词和函数(内联函数linked-in)。内部处理的函数和谓词在本质上其实是一样的，因为谓词可以被视为布尔函数。 在Alchemy中，原子(谓词作用与... 阅读全文
posted @ 2012-11-13 18:35 Alex木头 阅读(573) 评论(0) 推荐(0) 编辑
