init souffle submodule

ValKmjolnir · ValKmjolnir · commit 5ba4068753b3 · 2024-06-24T16:47:47.000+08:00
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "godel-script/godel-backend/souffle"]
+	path = godel-script/godel-backend/souffle
+	url = https://github.com/souffle-lang/souffle.git
diff --git a/godel-script/godel-backend/souffle b/godel-script/godel-backend/souffle
@@ -0,0 +1 @@
+Subproject commit 99399f3509975e2f2c57532186408418614df641

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+[submodule "godel-script/godel-backend/souffle"]`
	`2`	`+ path = godel-script/godel-backend/souffle`
	`3`	`+ url = https://github.com/souffle-lang/souffle.git`