本文是对同名论文中GVN相关部分的代码进行复现,该论文的研读可以看笔者主页。 Souffle安装 Souffle是一个Datalog引擎,可以执行Datalog程序,支持将Datalog程序转换为C++程序。 在站内有该引擎的安装教程。但是其中的git链接已经失效,我将新的git链接贴在下面: git clone https://github.com/souffle-lang/souffle.git 同时要注意,如果你按照官方教程进行编译安装,不要执行Ubuntu部分的CMake指令,在安装教程底部有相应的指令。 附一个直达链接。 编写Souffle程序