directory restructure

COMS30106 · Feb 9, 2017 · d30db92 · d30db92
1 parent 18f3181
commit d30db92
Show file tree

Hide file tree

Showing 20 changed files with 5 additions and 5 deletions.
diff --git 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 → biglist.pl b/labs/biglist.pl → biglist.pl
diff --git a/labs/fib.pl → fib.pl b/labs/fib.pl → fib.pl
diff --git a/labs/fibn.pl → fibn.pl b/labs/fibn.pl → fibn.pl
diff --git a/labs/fibt.pl → fibt.pl b/labs/fibt.pl → fibt.pl
diff --git a/labs/README.md b/labs/README.md
diff --git a/labs/nqueens.pl → nqueens.pl b/labs/nqueens.pl → nqueens.pl
diff --git a/Eliza.pl → other/Eliza.pl b/Eliza.pl → other/Eliza.pl
diff --git a/other/Readme.md b/other/Readme.md
@@ -0,0 +1,2 @@
+# Prolog scripts #
+Prolog scripts used for teaching.
diff --git a/lecture2.pl → other/lecture2.pl b/lecture2.pl → other/lecture2.pl
diff --git a/nl_shell2.pl → other/nl_shell2.pl b/nl_shell2.pl → other/nl_shell2.pl
diff --git a/path.pl → other/path.pl b/path.pl → other/path.pl
diff --git a/wp.pl → other/wp.pl b/wp.pl → other/wp.pl
diff --git a/labs/powerset.pl → powerset.pl b/labs/powerset.pl → powerset.pl
diff --git a/labs/prove.pl → prove.pl b/labs/prove.pl → prove.pl
diff --git a/labs/prove_p.pl → prove_p.pl b/labs/prove_p.pl → prove_p.pl
diff --git a/labs/prove_r.pl → prove_r.pl b/labs/prove_r.pl → prove_r.pl
diff --git a/labs/psort.pl → psort.pl b/labs/psort.pl → psort.pl
diff --git a/labs/secondorder.pl → secondorder.pl b/labs/secondorder.pl → secondorder.pl
diff --git a/labs/setof_sort.pl → setof_sort.pl b/labs/setof_sort.pl → setof_sort.pl
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		# Prolog scripts #
		Prolog scripts used for teaching.