From d30db92e7861942220cfc838122c41dcebc827cc Mon Sep 17 00:00:00 2001 From: Peter Flach Date: Thu, 9 Feb 2017 16:47:39 +0000 Subject: [PATCH] directory restructure --- Readme.md | 5 +++-- labs/biglist.pl => biglist.pl | 0 labs/fib.pl => fib.pl | 0 labs/fibn.pl => fibn.pl | 0 labs/fibt.pl => fibt.pl | 0 labs/README.md | 3 --- labs/nqueens.pl => nqueens.pl | 0 Eliza.pl => other/Eliza.pl | 0 other/Readme.md | 2 ++ lecture2.pl => other/lecture2.pl | 0 nl_shell2.pl => other/nl_shell2.pl | 0 path.pl => other/path.pl | 0 wp.pl => other/wp.pl | 0 labs/powerset.pl => powerset.pl | 0 labs/prove.pl => prove.pl | 0 labs/prove_p.pl => prove_p.pl | 0 labs/prove_r.pl => prove_r.pl | 0 labs/psort.pl => psort.pl | 0 labs/secondorder.pl => secondorder.pl | 0 labs/setof_sort.pl => setof_sort.pl | 0 20 files changed, 5 insertions(+), 5 deletions(-) rename labs/biglist.pl => biglist.pl (100%) rename labs/fib.pl => fib.pl (100%) rename labs/fibn.pl => fibn.pl (100%) rename labs/fibt.pl => fibt.pl (100%) delete mode 100644 labs/README.md rename labs/nqueens.pl => nqueens.pl (100%) rename Eliza.pl => other/Eliza.pl (100%) create mode 100644 other/Readme.md rename lecture2.pl => other/lecture2.pl (100%) rename nl_shell2.pl => other/nl_shell2.pl (100%) rename path.pl => other/path.pl (100%) rename wp.pl => other/wp.pl (100%) rename labs/powerset.pl => powerset.pl (100%) rename labs/prove.pl => prove.pl (100%) rename labs/prove_p.pl => prove_p.pl (100%) rename labs/prove_r.pl => prove_r.pl (100%) rename labs/psort.pl => psort.pl (100%) rename labs/secondorder.pl => secondorder.pl (100%) rename labs/setof_sort.pl => setof_sort.pl (100%) diff --git a/Readme.md b/Readme.md index f0be672..f9c07e2 100644 --- a/Readme.md +++ b/Readme.md @@ -1,2 +1,3 @@ -# Prolog scripts # -Prolog scripts used for teaching. +## Prolog files for labs ## +This folder contains Prolog files for lab exercises. +Interactive online version of these is available [here](http://labs.simply-logical.space). diff --git a/labs/biglist.pl b/biglist.pl similarity index 100% rename from labs/biglist.pl rename to biglist.pl diff --git a/labs/fib.pl b/fib.pl similarity index 100% rename from labs/fib.pl rename to fib.pl diff --git a/labs/fibn.pl b/fibn.pl similarity index 100% rename from labs/fibn.pl rename to fibn.pl diff --git a/labs/fibt.pl b/fibt.pl similarity index 100% rename from labs/fibt.pl rename to fibt.pl diff --git a/labs/README.md b/labs/README.md deleted file mode 100644 index f9c07e2..0000000 --- a/labs/README.md +++ /dev/null @@ -1,3 +0,0 @@ -## Prolog files for labs ## -This folder contains Prolog files for lab exercises. -Interactive online version of these is available [here](http://labs.simply-logical.space). diff --git a/labs/nqueens.pl b/nqueens.pl similarity index 100% rename from labs/nqueens.pl rename to nqueens.pl diff --git a/Eliza.pl b/other/Eliza.pl similarity index 100% rename from Eliza.pl rename to other/Eliza.pl diff --git a/other/Readme.md b/other/Readme.md new file mode 100644 index 0000000..f0be672 --- /dev/null +++ b/other/Readme.md @@ -0,0 +1,2 @@ +# Prolog scripts # +Prolog scripts used for teaching. diff --git a/lecture2.pl b/other/lecture2.pl similarity index 100% rename from lecture2.pl rename to other/lecture2.pl diff --git a/nl_shell2.pl b/other/nl_shell2.pl similarity index 100% rename from nl_shell2.pl rename to other/nl_shell2.pl diff --git a/path.pl b/other/path.pl similarity index 100% rename from path.pl rename to other/path.pl diff --git a/wp.pl b/other/wp.pl similarity index 100% rename from wp.pl rename to other/wp.pl diff --git a/labs/powerset.pl b/powerset.pl similarity index 100% rename from labs/powerset.pl rename to powerset.pl diff --git a/labs/prove.pl b/prove.pl similarity index 100% rename from labs/prove.pl rename to prove.pl diff --git a/labs/prove_p.pl b/prove_p.pl similarity index 100% rename from labs/prove_p.pl rename to prove_p.pl diff --git a/labs/prove_r.pl b/prove_r.pl similarity index 100% rename from labs/prove_r.pl rename to prove_r.pl diff --git a/labs/psort.pl b/psort.pl similarity index 100% rename from labs/psort.pl rename to psort.pl diff --git a/labs/secondorder.pl b/secondorder.pl similarity index 100% rename from labs/secondorder.pl rename to secondorder.pl diff --git a/labs/setof_sort.pl b/setof_sort.pl similarity index 100% rename from labs/setof_sort.pl rename to setof_sort.pl