皓波的博客

原创 DDlog语言特征

原文地址：这里写链接内容DDlog是一种语法为datalog式，用来编写DeepDive应用的语言。一个ddlog程序会被编译成deepdive格式下的配置文件，我们通常用这个文件来运行我们的应用。一个ddlog程序由一组声明组成，这些声明由dots分割，而状态的顺序是无关紧要的。一个声明可以是一个模式声明，一个datalog函数声明，一个函数调用规则，一个监管规则，或者一条推理规则。1. Sche