diff --git a/adventure.pl b/adventure.pl new file mode 100644 index 0000000..a5828a6 --- /dev/null +++ b/adventure.pl @@ -0,0 +1,5 @@ +parent(john, mary). +parent(mary, ann). +ancestor(X, Y) :- parent(X, Y). +ancestor(X, Y) :- parent(X, Z), ancestor(Z, Y). + diff --git a/index.html b/index.html new file mode 100644 index 0000000..fb46972 --- /dev/null +++ b/index.html @@ -0,0 +1,439 @@ + + +
+ + +