diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..ba02942
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "RDLProofSystem"]
+	path = RDLProofSystem
+	url = http://nitta-lab-www.is.konan-u.ac.jp/gitbucket/git/nitta-lab/RDLProofSystem.git
diff --git a/RDLProofSystem b/RDLProofSystem
new file mode 160000
index 0000000..895f156
--- /dev/null
+++ b/RDLProofSystem
@@ -0,0 +1 @@
+Subproject commit 895f1569549c3c761bede6d23ea96711b59cd60c
diff --git a/build.gradle b/build.gradle
index e90c33d..96ea820 100644
--- a/build.gradle
+++ b/build.gradle
@@ -17,6 +17,7 @@
 dependencies {
     implementation project(':RDLApplicationRuntime')
     implementation project(':RDLCodeGenerator')
+    implementation files('./RDLProofSystem/target/ResourceDependencyLogic-0.0.1-SNAPSHOT.jar')
     testImplementation platform('org.junit:junit-bom:5.10.0')
     testImplementation 'org.junit.jupiter:junit-jupiter'
 }
diff --git a/settings.gradle b/settings.gradle
index 1cfaf32..2fe844d 100644
--- a/settings.gradle
+++ b/settings.gradle
@@ -1,4 +1,5 @@
 rootProject.name = 'RDLWorkbench'
 
 include 'RDLApplicationRuntime'
-include 'RDLCodeGenerator'
\ No newline at end of file
+include 'RDLCodeGenerator'
+include 'RDLProofSystem'
\ No newline at end of file