关系查询[glossary-relations]

• query／run*：声明要返回的逻辑变量并收集解。
• fresh／conde：引入存在量词变量／表示析取。
• ==／=/=：统一两个项／约束两项不相等。
• fail／succeed：失败与成功的空目标。
• ruleo：数学规则目录事实（名称、类别、模式、docstring）。
• pageo／nodeo／node-propertyo：页面与内容节点的关系。
• content-node relation：分析阶段为每篇文章IR生成的节点关系。
• source-locationo：返回节点对应的源文件、行与列。
• query-link：查询结果专用链接节点，不会被记为文章创建的入向引用。

DSL与可用谓词的速查见关系查询参考。