diff --git a/extra/factlog/examples/factorial/factorial-tests.factor b/extra/logic/examples/factorial/factorial-tests.factor
similarity index 100%
rename from extra/factlog/examples/factorial/factorial-tests.factor
rename to extra/logic/examples/factorial/factorial-tests.factor
diff --git a/extra/factlog/examples/factorial/factorial.factor b/extra/logic/examples/factorial/factorial.factor
similarity index 100%
rename from extra/factlog/examples/factorial/factorial.factor
rename to extra/logic/examples/factorial/factorial.factor
diff --git a/extra/factlog/examples/fib/fib-tests.factor b/extra/logic/examples/fib/fib-tests.factor
similarity index 100%
rename from extra/factlog/examples/fib/fib-tests.factor
rename to extra/logic/examples/fib/fib-tests.factor
diff --git a/extra/factlog/examples/fib/fib.factor b/extra/logic/examples/fib/fib.factor
similarity index 100%
rename from extra/factlog/examples/fib/fib.factor
rename to extra/logic/examples/fib/fib.factor
diff --git a/extra/factlog/examples/fib2/fib2-tests.factor b/extra/logic/examples/fib2/fib2-tests.factor
similarity index 100%
rename from extra/factlog/examples/fib2/fib2-tests.factor
rename to extra/logic/examples/fib2/fib2-tests.factor
diff --git a/extra/factlog/examples/fib2/fib2.factor b/extra/logic/examples/fib2/fib2.factor
similarity index 100%
rename from extra/factlog/examples/fib2/fib2.factor
rename to extra/logic/examples/fib2/fib2.factor
diff --git a/extra/factlog/examples/hanoi/hanoi-tests.factor b/extra/logic/examples/hanoi/hanoi-tests.factor
similarity index 100%
rename from extra/factlog/examples/hanoi/hanoi-tests.factor
rename to extra/logic/examples/hanoi/hanoi-tests.factor
diff --git a/extra/factlog/examples/hanoi/hanoi.factor b/extra/logic/examples/hanoi/hanoi.factor
similarity index 100%
rename from extra/factlog/examples/hanoi/hanoi.factor
rename to extra/logic/examples/hanoi/hanoi.factor
diff --git a/extra/factlog/examples/hanoi2/hanoi2-tests.factor b/extra/logic/examples/hanoi2/hanoi2-tests.factor
similarity index 100%
rename from extra/factlog/examples/hanoi2/hanoi2-tests.factor
rename to extra/logic/examples/hanoi2/hanoi2-tests.factor
diff --git a/extra/factlog/examples/hanoi2/hanoi2.factor b/extra/logic/examples/hanoi2/hanoi2.factor
similarity index 100%
rename from extra/factlog/examples/hanoi2/hanoi2.factor
rename to extra/logic/examples/hanoi2/hanoi2.factor
diff --git a/extra/factlog/examples/money/money-tests.factor b/extra/logic/examples/money/money-tests.factor
similarity index 100%
rename from extra/factlog/examples/money/money-tests.factor
rename to extra/logic/examples/money/money-tests.factor
diff --git a/extra/factlog/examples/money/money.factor b/extra/logic/examples/money/money.factor
similarity index 100%
rename from extra/factlog/examples/money/money.factor
rename to extra/logic/examples/money/money.factor
diff --git a/extra/factlog/examples/zebra-short/zebra-short-tests.factor b/extra/logic/examples/zebra-short/zebra-short-tests.factor
similarity index 100%
rename from extra/factlog/examples/zebra-short/zebra-short-tests.factor
rename to extra/logic/examples/zebra-short/zebra-short-tests.factor
diff --git a/extra/factlog/examples/zebra-short/zebra-short.factor b/extra/logic/examples/zebra-short/zebra-short.factor
similarity index 100%
rename from extra/factlog/examples/zebra-short/zebra-short.factor
rename to extra/logic/examples/zebra-short/zebra-short.factor
diff --git a/extra/factlog/examples/zebra/zebra-tests.factor b/extra/logic/examples/zebra/zebra-tests.factor
similarity index 100%
rename from extra/factlog/examples/zebra/zebra-tests.factor
rename to extra/logic/examples/zebra/zebra-tests.factor
diff --git a/extra/factlog/examples/zebra/zebra.factor b/extra/logic/examples/zebra/zebra.factor
similarity index 100%
rename from extra/factlog/examples/zebra/zebra.factor
rename to extra/logic/examples/zebra/zebra.factor
diff --git a/extra/factlog/examples/zebra2/zebra2-tests.factor b/extra/logic/examples/zebra2/zebra2-tests.factor
similarity index 100%
rename from extra/factlog/examples/zebra2/zebra2-tests.factor
rename to extra/logic/examples/zebra2/zebra2-tests.factor
diff --git a/extra/factlog/examples/zebra2/zebra2.factor b/extra/logic/examples/zebra2/zebra2.factor
similarity index 100%
rename from extra/factlog/examples/zebra2/zebra2.factor
rename to extra/logic/examples/zebra2/zebra2.factor
diff --git a/extra/factlog/factlog-docs.factor b/extra/logic/logic-docs.factor
similarity index 100%
rename from extra/factlog/factlog-docs.factor
rename to extra/logic/logic-docs.factor
diff --git a/extra/factlog/factlog-tests.factor b/extra/logic/logic-tests.factor
similarity index 100%
rename from extra/factlog/factlog-tests.factor
rename to extra/logic/logic-tests.factor
diff --git a/extra/factlog/factlog.factor b/extra/logic/logic.factor
similarity index 100%
rename from extra/factlog/factlog.factor
rename to extra/logic/logic.factor