项目自定义谓词[#130]

项目可以基于这些事实定义自己的算子。Flora的project.scm就是例子：

• incoming-pageo：合并link与transclude两种入向引用。
• not-membero：递归检查一个值不在有限列表中，用作miniKanren的集合差。
• authored-pageo：用pageo排除inline subtree自动生成的页面。
• orphan-pageo：没有入向引用的文章页面。