diff --git a/logic-programming/README.md b/logicizing/README.md
similarity index 100%
rename from logic-programming/README.md
rename to logicizing/README.md
diff --git a/logic-programming/ackermann.pl b/logicizing/ackermann.pl
similarity index 100%
rename from logic-programming/ackermann.pl
rename to logicizing/ackermann.pl
diff --git a/logic-programming/acp.pl b/logicizing/acp.pl
similarity index 100%
rename from logic-programming/acp.pl
rename to logicizing/acp.pl
diff --git a/logic-programming/age.pl b/logicizing/age.pl
similarity index 100%
rename from logic-programming/age.pl
rename to logicizing/age.pl
diff --git a/logic-programming/bmt.pl b/logicizing/bmt.pl
similarity index 100%
rename from logic-programming/bmt.pl
rename to logicizing/bmt.pl
diff --git a/logic-programming/combination.pl b/logicizing/combination.pl
similarity index 100%
rename from logic-programming/combination.pl
rename to logicizing/combination.pl
diff --git a/logic-programming/complex.pl b/logicizing/complex.pl
similarity index 100%
rename from logic-programming/complex.pl
rename to logicizing/complex.pl
diff --git a/logic-programming/control.pl b/logicizing/control.pl
similarity index 100%
rename from logic-programming/control.pl
rename to logicizing/control.pl
diff --git a/logic-programming/crypto.pl b/logicizing/crypto.pl
similarity index 100%
rename from logic-programming/crypto.pl
rename to logicizing/crypto.pl
diff --git a/logic-programming/curly.pl b/logicizing/curly.pl
similarity index 100%
rename from logic-programming/curly.pl
rename to logicizing/curly.pl
diff --git a/logic-programming/derivative.pl b/logicizing/derivative.pl
similarity index 100%
rename from logic-programming/derivative.pl
rename to logicizing/derivative.pl
diff --git a/logic-programming/dt.pl b/logicizing/dt.pl
similarity index 100%
rename from logic-programming/dt.pl
rename to logicizing/dt.pl
diff --git a/logic-programming/easter.pl b/logicizing/easter.pl
similarity index 100%
rename from logic-programming/easter.pl
rename to logicizing/easter.pl
diff --git a/logic-programming/enigma1225.pl b/logicizing/enigma1225.pl
similarity index 100%
rename from logic-programming/enigma1225.pl
rename to logicizing/enigma1225.pl
diff --git a/logic-programming/equation.pl b/logicizing/equation.pl
similarity index 100%
rename from logic-programming/equation.pl
rename to logicizing/equation.pl
diff --git a/logic-programming/eulers-identity.pl b/logicizing/eulers-identity.pl
similarity index 100%
rename from logic-programming/eulers-identity.pl
rename to logicizing/eulers-identity.pl
diff --git a/logic-programming/fft.pl b/logicizing/fft.pl
similarity index 100%
rename from logic-programming/fft.pl
rename to logicizing/fft.pl
diff --git a/logic-programming/fibonacci.pl b/logicizing/fibonacci.pl
similarity index 100%
rename from logic-programming/fibonacci.pl
rename to logicizing/fibonacci.pl
diff --git a/logic-programming/fourcolor.pl b/logicizing/fourcolor.pl
similarity index 100%
rename from logic-programming/fourcolor.pl
rename to logicizing/fourcolor.pl
diff --git a/logic-programming/fuse.pl b/logicizing/fuse.pl
similarity index 100%
rename from logic-programming/fuse.pl
rename to logicizing/fuse.pl
diff --git a/logic-programming/gcc.pl b/logicizing/gcc.pl
similarity index 100%
rename from logic-programming/gcc.pl
rename to logicizing/gcc.pl
diff --git a/logic-programming/goldbach.pl b/logicizing/goldbach.pl
similarity index 100%
rename from logic-programming/goldbach.pl
rename to logicizing/goldbach.pl
diff --git a/logic-programming/good-cobbler.pl b/logicizing/good-cobbler.pl
similarity index 100%
rename from logic-programming/good-cobbler.pl
rename to logicizing/good-cobbler.pl
diff --git a/logic-programming/gps.pl b/logicizing/gps.pl
similarity index 100%
rename from logic-programming/gps.pl
rename to logicizing/gps.pl
diff --git a/logic-programming/graph.pl b/logicizing/graph.pl
similarity index 100%
rename from logic-programming/graph.pl
rename to logicizing/graph.pl
diff --git a/logic-programming/hanoi.pl b/logicizing/hanoi.pl
similarity index 100%
rename from logic-programming/hanoi.pl
rename to logicizing/hanoi.pl
diff --git a/logic-programming/kaprekar-constant.pl b/logicizing/kaprekar-constant.pl
similarity index 100%
rename from logic-programming/kaprekar-constant.pl
rename to logicizing/kaprekar-constant.pl
diff --git a/logic-programming/lee.pl b/logicizing/lee.pl
similarity index 100%
rename from logic-programming/lee.pl
rename to logicizing/lee.pl
diff --git a/logic-programming/matrix.pl b/logicizing/matrix.pl
similarity index 100%
rename from logic-programming/matrix.pl
rename to logicizing/matrix.pl
diff --git a/logic-programming/mi.pl b/logicizing/mi.pl
similarity index 100%
rename from logic-programming/mi.pl
rename to logicizing/mi.pl
diff --git a/logic-programming/multi-agent.pl b/logicizing/multi-agent.pl
similarity index 100%
rename from logic-programming/multi-agent.pl
rename to logicizing/multi-agent.pl
diff --git a/logic-programming/n-queens.pl b/logicizing/n-queens.pl
similarity index 100%
rename from logic-programming/n-queens.pl
rename to logicizing/n-queens.pl
diff --git a/logic-programming/output/ackermann.pl b/logicizing/output/ackermann.pl
similarity index 100%
rename from logic-programming/output/ackermann.pl
rename to logicizing/output/ackermann.pl
diff --git a/logic-programming/output/acp.pl b/logicizing/output/acp.pl
similarity index 100%
rename from logic-programming/output/acp.pl
rename to logicizing/output/acp.pl
diff --git a/logic-programming/output/age.pl b/logicizing/output/age.pl
similarity index 100%
rename from logic-programming/output/age.pl
rename to logicizing/output/age.pl
diff --git a/logic-programming/output/bmt.pl b/logicizing/output/bmt.pl
similarity index 100%
rename from logic-programming/output/bmt.pl
rename to logicizing/output/bmt.pl
diff --git a/logic-programming/output/combination.pl b/logicizing/output/combination.pl
similarity index 100%
rename from logic-programming/output/combination.pl
rename to logicizing/output/combination.pl
diff --git a/logic-programming/output/complex.pl b/logicizing/output/complex.pl
similarity index 100%
rename from logic-programming/output/complex.pl
rename to logicizing/output/complex.pl
diff --git a/logic-programming/output/control.pl b/logicizing/output/control.pl
similarity index 100%
rename from logic-programming/output/control.pl
rename to logicizing/output/control.pl
diff --git a/logic-programming/output/crypto.pl b/logicizing/output/crypto.pl
similarity index 100%
rename from logic-programming/output/crypto.pl
rename to logicizing/output/crypto.pl
diff --git a/logic-programming/output/curly.pl b/logicizing/output/curly.pl
similarity index 100%
rename from logic-programming/output/curly.pl
rename to logicizing/output/curly.pl
diff --git a/logic-programming/output/derivative.pl b/logicizing/output/derivative.pl
similarity index 100%
rename from logic-programming/output/derivative.pl
rename to logicizing/output/derivative.pl
diff --git a/logic-programming/output/dt.pl b/logicizing/output/dt.pl
similarity index 100%
rename from logic-programming/output/dt.pl
rename to logicizing/output/dt.pl
diff --git a/logic-programming/output/easter.pl b/logicizing/output/easter.pl
similarity index 100%
rename from logic-programming/output/easter.pl
rename to logicizing/output/easter.pl
diff --git a/logic-programming/output/enigma1225.pl b/logicizing/output/enigma1225.pl
similarity index 100%
rename from logic-programming/output/enigma1225.pl
rename to logicizing/output/enigma1225.pl
diff --git a/logic-programming/output/equation.pl b/logicizing/output/equation.pl
similarity index 100%
rename from logic-programming/output/equation.pl
rename to logicizing/output/equation.pl
diff --git a/logic-programming/output/eulers-identity.pl b/logicizing/output/eulers-identity.pl
similarity index 100%
rename from logic-programming/output/eulers-identity.pl
rename to logicizing/output/eulers-identity.pl
diff --git a/logic-programming/output/fft.pl b/logicizing/output/fft.pl
similarity index 100%
rename from logic-programming/output/fft.pl
rename to logicizing/output/fft.pl
diff --git a/logic-programming/output/fibonacci.pl b/logicizing/output/fibonacci.pl
similarity index 100%
rename from logic-programming/output/fibonacci.pl
rename to logicizing/output/fibonacci.pl
diff --git a/logic-programming/output/fourcolor.pl b/logicizing/output/fourcolor.pl
similarity index 100%
rename from logic-programming/output/fourcolor.pl
rename to logicizing/output/fourcolor.pl
diff --git a/logic-programming/output/fuse.pl b/logicizing/output/fuse.pl
similarity index 100%
rename from logic-programming/output/fuse.pl
rename to logicizing/output/fuse.pl
diff --git a/logic-programming/output/gcc.pl b/logicizing/output/gcc.pl
similarity index 100%
rename from logic-programming/output/gcc.pl
rename to logicizing/output/gcc.pl
diff --git a/logic-programming/output/goldbach.pl b/logicizing/output/goldbach.pl
similarity index 100%
rename from logic-programming/output/goldbach.pl
rename to logicizing/output/goldbach.pl
diff --git a/logic-programming/output/good-cobbler.pl b/logicizing/output/good-cobbler.pl
similarity index 100%
rename from logic-programming/output/good-cobbler.pl
rename to logicizing/output/good-cobbler.pl
diff --git a/logic-programming/output/gps.pl b/logicizing/output/gps.pl
similarity index 100%
rename from logic-programming/output/gps.pl
rename to logicizing/output/gps.pl
diff --git a/logic-programming/output/graph.pl b/logicizing/output/graph.pl
similarity index 100%
rename from logic-programming/output/graph.pl
rename to logicizing/output/graph.pl
diff --git a/logic-programming/output/hanoi.pl b/logicizing/output/hanoi.pl
similarity index 100%
rename from logic-programming/output/hanoi.pl
rename to logicizing/output/hanoi.pl
diff --git a/logic-programming/output/kaprekar-constant.pl b/logicizing/output/kaprekar-constant.pl
similarity index 100%
rename from logic-programming/output/kaprekar-constant.pl
rename to logicizing/output/kaprekar-constant.pl
diff --git a/logic-programming/output/lee.pl b/logicizing/output/lee.pl
similarity index 100%
rename from logic-programming/output/lee.pl
rename to logicizing/output/lee.pl
diff --git a/logic-programming/output/matrix.pl b/logicizing/output/matrix.pl
similarity index 100%
rename from logic-programming/output/matrix.pl
rename to logicizing/output/matrix.pl
diff --git a/logic-programming/output/mi.pl b/logicizing/output/mi.pl
similarity index 100%
rename from logic-programming/output/mi.pl
rename to logicizing/output/mi.pl
diff --git a/logic-programming/output/multi-agent.pl b/logicizing/output/multi-agent.pl
similarity index 100%
rename from logic-programming/output/multi-agent.pl
rename to logicizing/output/multi-agent.pl
diff --git a/logic-programming/output/n-queens.pl b/logicizing/output/n-queens.pl
similarity index 100%
rename from logic-programming/output/n-queens.pl
rename to logicizing/output/n-queens.pl
diff --git a/logic-programming/output/padovan.pl b/logicizing/output/padovan.pl
similarity index 100%
rename from logic-programming/output/padovan.pl
rename to logicizing/output/padovan.pl
diff --git a/logic-programming/output/peano.pl b/logicizing/output/peano.pl
similarity index 100%
rename from logic-programming/output/peano.pl
rename to logicizing/output/peano.pl
diff --git a/logic-programming/output/permutation.pl b/logicizing/output/permutation.pl
similarity index 100%
rename from logic-programming/output/permutation.pl
rename to logicizing/output/permutation.pl
diff --git a/logic-programming/output/pi.pl b/logicizing/output/pi.pl
similarity index 100%
rename from logic-programming/output/pi.pl
rename to logicizing/output/pi.pl
diff --git a/logic-programming/output/polygon.pl b/logicizing/output/polygon.pl
similarity index 100%
rename from logic-programming/output/polygon.pl
rename to logicizing/output/polygon.pl
diff --git a/logic-programming/output/polynomial.pl b/logicizing/output/polynomial.pl
similarity index 100%
rename from logic-programming/output/polynomial.pl
rename to logicizing/output/polynomial.pl
diff --git a/logic-programming/output/prime.pl b/logicizing/output/prime.pl
similarity index 100%
rename from logic-programming/output/prime.pl
rename to logicizing/output/prime.pl
diff --git a/logic-programming/output/proof-by-cases.pl b/logicizing/output/proof-by-cases.pl
similarity index 100%
rename from logic-programming/output/proof-by-cases.pl
rename to logicizing/output/proof-by-cases.pl
diff --git a/logic-programming/output/proof-by-contradiction.pl b/logicizing/output/proof-by-contradiction.pl
similarity index 100%
rename from logic-programming/output/proof-by-contradiction.pl
rename to logicizing/output/proof-by-contradiction.pl
diff --git a/logic-programming/output/proof-by-contrapositive.pl b/logicizing/output/proof-by-contrapositive.pl
similarity index 100%
rename from logic-programming/output/proof-by-contrapositive.pl
rename to logicizing/output/proof-by-contrapositive.pl
diff --git a/logic-programming/output/proof-by-induction.pl b/logicizing/output/proof-by-induction.pl
similarity index 100%
rename from logic-programming/output/proof-by-induction.pl
rename to logicizing/output/proof-by-induction.pl
diff --git a/logic-programming/output/sdcoding.pl b/logicizing/output/sdcoding.pl
similarity index 100%
rename from logic-programming/output/sdcoding.pl
rename to logicizing/output/sdcoding.pl
diff --git a/logic-programming/output/sieve.pl b/logicizing/output/sieve.pl
similarity index 100%
rename from logic-programming/output/sieve.pl
rename to logicizing/output/sieve.pl
diff --git a/logic-programming/output/socrates.pl b/logicizing/output/socrates.pl
similarity index 100%
rename from logic-programming/output/socrates.pl
rename to logicizing/output/socrates.pl
diff --git a/logic-programming/output/sudoku.pl b/logicizing/output/sudoku.pl
similarity index 100%
rename from logic-programming/output/sudoku.pl
rename to logicizing/output/sudoku.pl
diff --git a/logic-programming/output/tak.pl b/logicizing/output/tak.pl
similarity index 100%
rename from logic-programming/output/tak.pl
rename to logicizing/output/tak.pl
diff --git a/logic-programming/output/turing.pl b/logicizing/output/turing.pl
similarity index 100%
rename from logic-programming/output/turing.pl
rename to logicizing/output/turing.pl
diff --git a/logic-programming/output/workplace-benchmark.pl b/logicizing/output/workplace-benchmark.pl
similarity index 100%
rename from logic-programming/output/workplace-benchmark.pl
rename to logicizing/output/workplace-benchmark.pl
diff --git a/logic-programming/output/workplace.pl b/logicizing/output/workplace.pl
similarity index 100%
rename from logic-programming/output/workplace.pl
rename to logicizing/output/workplace.pl
diff --git a/logic-programming/output/zebra.pl b/logicizing/output/zebra.pl
similarity index 100%
rename from logic-programming/output/zebra.pl
rename to logicizing/output/zebra.pl
diff --git a/logic-programming/padovan.pl b/logicizing/padovan.pl
similarity index 100%
rename from logic-programming/padovan.pl
rename to logicizing/padovan.pl
diff --git a/logic-programming/peano.pl b/logicizing/peano.pl
similarity index 100%
rename from logic-programming/peano.pl
rename to logicizing/peano.pl
diff --git a/logic-programming/permutation.pl b/logicizing/permutation.pl
similarity index 100%
rename from logic-programming/permutation.pl
rename to logicizing/permutation.pl
diff --git a/logic-programming/pi.pl b/logicizing/pi.pl
similarity index 100%
rename from logic-programming/pi.pl
rename to logicizing/pi.pl
diff --git a/logic-programming/polygon.pl b/logicizing/polygon.pl
similarity index 100%
rename from logic-programming/polygon.pl
rename to logicizing/polygon.pl
diff --git a/logic-programming/polynomial.pl b/logicizing/polynomial.pl
similarity index 100%
rename from logic-programming/polynomial.pl
rename to logicizing/polynomial.pl
diff --git a/logic-programming/prime.pl b/logicizing/prime.pl
similarity index 100%
rename from logic-programming/prime.pl
rename to logicizing/prime.pl
diff --git a/logic-programming/proof-by-cases.pl b/logicizing/proof-by-cases.pl
similarity index 100%
rename from logic-programming/proof-by-cases.pl
rename to logicizing/proof-by-cases.pl
diff --git a/logic-programming/proof-by-contradiction.pl b/logicizing/proof-by-contradiction.pl
similarity index 100%
rename from logic-programming/proof-by-contradiction.pl
rename to logicizing/proof-by-contradiction.pl
diff --git a/logic-programming/proof-by-contrapositive.pl b/logicizing/proof-by-contrapositive.pl
similarity index 100%
rename from logic-programming/proof-by-contrapositive.pl
rename to logicizing/proof-by-contrapositive.pl
diff --git a/logic-programming/proof-by-induction.pl b/logicizing/proof-by-induction.pl
similarity index 100%
rename from logic-programming/proof-by-induction.pl
rename to logicizing/proof-by-induction.pl
diff --git a/logic-programming/sdcoding.pl b/logicizing/sdcoding.pl
similarity index 100%
rename from logic-programming/sdcoding.pl
rename to logicizing/sdcoding.pl
diff --git a/logic-programming/sieve.pl b/logicizing/sieve.pl
similarity index 100%
rename from logic-programming/sieve.pl
rename to logicizing/sieve.pl
diff --git a/logic-programming/socrates.pl b/logicizing/socrates.pl
similarity index 100%
rename from logic-programming/socrates.pl
rename to logicizing/socrates.pl
diff --git a/logic-programming/sudoku.pl b/logicizing/sudoku.pl
similarity index 100%
rename from logic-programming/sudoku.pl
rename to logicizing/sudoku.pl
diff --git a/logic-programming/tak.pl b/logicizing/tak.pl
similarity index 100%
rename from logic-programming/tak.pl
rename to logicizing/tak.pl
diff --git a/logic-programming/test b/logicizing/test
similarity index 85%
rename from logic-programming/test
rename to logicizing/test
index 730466241..18da948af 100755
--- a/logic-programming/test
+++ b/logicizing/test
@@ -8,11 +8,11 @@ NORMAL="\e[0;39m"
 OK=0
 FAILED=0
 
-echo -e "${YELLOW}-----------------------------${NORMAL}"
-echo -e "${YELLOW}Running eye logic-programming${NORMAL}"
+echo -e "${YELLOW}----------------------${NORMAL}"
+echo -e "${YELLOW}Running eye logicizing${NORMAL}"
 echo -e "${YELLOW}eye v$(eye --version 2>&1 | grep EYE | awk '{ print substr($2,2) }')${NORMAL}"
 echo -e "${YELLOW}swipl v$(swipl --version 2>&1 | awk '{ print $3 }')${NORMAL}"
-echo -e "${YELLOW}-----------------------------${NORMAL}"
+echo -e "${YELLOW}----------------------${NORMAL}"
 echo ""
 
 pad () {
diff --git a/logic-programming/turing.pl b/logicizing/turing.pl
similarity index 100%
rename from logic-programming/turing.pl
rename to logicizing/turing.pl
diff --git a/logic-programming/workplace-benchmark.pl b/logicizing/workplace-benchmark.pl
similarity index 100%
rename from logic-programming/workplace-benchmark.pl
rename to logicizing/workplace-benchmark.pl
diff --git a/logic-programming/workplace.pl b/logicizing/workplace.pl
similarity index 100%
rename from logic-programming/workplace.pl
rename to logicizing/workplace.pl
diff --git a/logic-programming/zebra.pl b/logicizing/zebra.pl
similarity index 100%
rename from logic-programming/zebra.pl
rename to logicizing/zebra.pl
diff --git a/test b/test
index 2130516ca..4fa5a1cc3 100755
--- a/test
+++ b/test
@@ -4,6 +4,6 @@ pushd ~/github.com/eyereasoner/eye/reasoning > /dev/null
 popd > /dev/null
 echo ""
 
-pushd ~/github.com/eyereasoner/eye/logic-programming > /dev/null
+pushd ~/github.com/eyereasoner/eye/logicizing > /dev/null
 ./test
 popd > /dev/null