diff --git a/hw3/hw3.zip b/hw3/hw3.zip new file mode 100644 index 0000000..3dfe7e3 Binary files /dev/null and b/hw3/hw3.zip differ diff --git a/hw3/testing.pl b/hw3/testing.pl deleted file mode 100644 index 9aab5b6..0000000 --- a/hw3/testing.pl +++ /dev/null @@ -1,22 +0,0 @@ -:- dynamic(greater/2). - -make_rules([]). - -make_rules([X]). - -make_rules([X,Y|XS]) :- - assertz(greater(Y, X)), - append([Y], XS, XS2), - make_rules(XS2). - -my_topo_sort([], Total_order). - -my_topo_sort(Partial_order, Total_order) :- - select(X, Partial_order, Partial_order2), - make_rules(X), - my_topo_sort(Partial_order2, Total_order). - -is_greater(Y, X) :- - greater(Y, X); - greater(Z, X), - is_greater(Y, Z).