diff --git a/src/main/asp/unify.pl b/src/main/asp/unify.lp
similarity index 100%
rename from src/main/asp/unify.pl
rename to src/main/asp/unify.lp
diff --git a/src/main/asp/unifyPaper.pl b/src/main/asp/unifyPaper.lp
similarity index 100%
rename from src/main/asp/unifyPaper.pl
rename to src/main/asp/unifyPaper.lp