Results 2 comments of Ningyu He

I followed your instructions. The first and second lines execute successfully. However, when I try to run the third line, I got this error: ``` Environment variable LD_LIBRARY_PATH not set....

I have reinstalled the souffle 1.6.2, I still got an error: ``` Environment variable LD_LIBRARY_PATH not set. Setting it up... pragma directive defines a prior version to 0.6.7. Changing pragma...