Homework 4's last long test case
had incorrect output. The following patch has been applied to fix the problem:
--- hw4.html 2007/10/31 23:19:59 1.37
+++ hw4.html 2007/11/08 08:19:09 1.38
@@ -225,21 +225,21 @@ no
| ?- edit_diff_sf([g,i,g], C, [i,g]), write(C), nl, fail.
[delete(g),copy,copy]
[insert(i),copy,delete(i),delete(g)]
-[delete(g),insert(i),delete(i),copy]
-[delete(g),delete(i),insert(i),copy]
[insert(i),delete(g),delete(i),copy]
[delete(g),copy,insert(g),delete(g)]
[delete(g),copy,delete(g),insert(g)]
+[delete(g),insert(i),delete(i),copy]
+[delete(g),delete(i),insert(i),copy]
+[insert(i),insert(g),delete(g),delete(i),delete(g)]
+[insert(i),delete(g),insert(g),delete(i),delete(g)]
+[insert(i),delete(g),delete(i),insert(g),delete(g)]
+[insert(i),delete(g),delete(i),delete(g),insert(g)]
[delete(g),insert(i),insert(g),delete(i),delete(g)]
[delete(g),insert(i),delete(i),insert(g),delete(g)]
[delete(g),insert(i),delete(i),delete(g),insert(g)]
[delete(g),delete(i),insert(i),insert(g),delete(g)]
[delete(g),delete(i),insert(i),delete(g),insert(g)]
[delete(g),delete(i),delete(g),insert(i),insert(g)]
-[insert(i),insert(g),delete(g),delete(i),delete(g)]
-[insert(i),delete(g),insert(g),delete(i),delete(g)]
-[insert(i),delete(g),delete(i),insert(g),delete(g)]
-[insert(i),delete(g),delete(i),delete(g),insert(g)]
no
| ?- findall(Commands, edit_diff([a,b,c,d],Commands,[b,a,d]), L),