搭建Linux(Ubuntu)系统下的Differential Datalog运行环境

DDlog is a bottom-up, incremental, in-memory, typed Datalog engine. It is well suited for writing programs that incrementally update their output in response to input changes

DDlog是一种自底向上，增量式，基于内存的类型化Datalog引擎，它非常适合编写响应输入更改而增量更新其输出的程序。目前官方说明文档介绍的安装方式，只在Linux和maxOS上经过了验证，未介绍Windows平台下运行环境搭建的方法。最近因为学习需要，自己在Liunx(Ubuntu 18.04) 系统下，经过一番折腾，终于把编译运行环境搞定，这里做个记录。

官方文档-Installation

主要依赖Haskell 编译环境和对应的stack管理工具，以及rust编译环境

推荐方案：electron-ssr 访问外网 + 执行官方安装脚本。如果不能访问外网，可以考虑修改安装脚本，将下载源改成 tuna 源或 ustc 源，但是考虑到编译运行环境的依赖关系较为复杂，此方法若非万不得已，还是不要用了，费时费力，浪费感情！（良心建议～）

1. 配置、使用electron-ssr

由于 electron-ssr 开源项目的作者删除了该项目github主页的内容，所以使用搜索引擎时，可以考虑从一些用户备份的github仓库下载，Ubuntu系统可以选择deb 或 AppImage 格式的安装包。

electron-ssr下载地址： https://github.com/qingshuisiyuan/electron-ssr-backup/releases

AppImage格式的安装包，使用  chmod a+x electron-ssr.AppImage  命令授予运行权限，然后运行 /electron-ssr.AppImage  命令，即可执行客户端。根据引导，配置服务器节点，和小飞机一样。

由于electron-ssr采用Python脚本作为后端，所以在启动electron-ssr之前，要确保Python环境配置好。如果python环境没配好，执行electron不会报错，但是使用 netstat -lntp 查看，会发现代理端口没有被打开（使用netstat -lntp命令之前要先安装net-tools安装包）。

在终端下检查python命令是否存在，如果python命令不存在，而python3命令存在，可以执行  sudo ln /usr/bin/python3 /usr/bin/python 命令，用一个软链接把python3 链接到 python 上，这样系统查找 python的时候，就直接可以使用python3了；如果python3命令也没有，就证明系统没有任何python环境，需手动安装。

electron-ssr环境配置好后，在浏览器（Ubuntu默认是Firefox)搜索殷勤搜索"ip"关键词,即可查看本机IP服务商的位置，如下图所示

若IP服务商的位置仍是本地，需要进一步对浏览器配置网络代理，在首选项-> 网络设置中配置结果如下，随后应该就能正常使用浏览器上外网。

而我们在终端使用脚本安装，需要在终端使用代理，可以使用 export http_proxy="IP:PORT" 方式对当前终端设置代理，其中代理信息IP:PORT在小飞机的菜单栏可以找到，然后使用 curl www.google.com 命令，检查终端能否成功使用代理。

2.  使用官方安装脚本来配置编译运行环境

安装脚本是项目仓库中的一部分，因此首先需要将项目下载到本地，强烈建议使用 git clone 方式，而非下载压缩包方式，后续在build过程中，会检查项目目录中的git信息，如果是以压缩包方式下载，process 29 会build失败。

项目文件比较大，git clone 过程发生 RPC failed; curl GnuTLS recv error (-): A TLS packet with unexpected length 错误；

参考解决办法：https://blog.csdn.net/qq_34121797/article/details/79561110?depth_1-utm_source=distribute.pc_relevant.none-task&utm_source=distribute.pc_relevant.none-task

解决了网络问题，亲测后面的安装过程较为顺利！为了加快stack的下载速度，可以修改镜像源为中科大或者清华大学，详见 http://mirrors.ustc.edu.cn/help/stackage.html

3，使用ddlog

编写一个playpen.dl的sample, 官方文档介绍了两种测试方式，但是亲测之后，发现使用  stack test --ta '-p playpen 测试框架依然会遇到网络访问问题，不要慌，前面的努力没白费，使用 ddlog -i playpen.dl -L../../lib 是可以顺利编译的，希望到了这一步的童靴不要放弃啊！（能倒腾到这一步的，我反正血槽已干…）

最后，就是万事具备，只剩写代码了，头秃啊！

参考链接

https://zhuanlan.zhihu.com/p/31635905

http://abloz.com/tech/2019/08/19/rust-install-cn/

https://segmentfault.com/a/1190000016475279