Michael Aiello
0266204
Project 2


unify2lists [MyNum 1, MyNum 2, MyNum 3] [MyAtom "a", MyAtom "b", MyAtom "c"]
[(["a"],Just (MyNum 1)),(["b"],Just (MyNum 2)),(["c"],Just (MyNum 3))]

unify2lists [MyNum 1, MyAtom "b", MyNum 3] [MyAtom "a", MyNum 2, MyAtom "c"]
[(["a"],Just (MyNum 1)),(["b"],Just (MyNum 2)),(["c"],Just (MyNum 3))]


unify2lists [MyNum 1, MyNum 2, MyNum 3] [MyAtom "b", MyAtom "b", MyAtom "c"]
Program error: Can Not Unify ["b"] to two different things!

unify2lists [MyNum 1, MyAtom "a", MyNum 3] [MyAtom "a", MyAtom "b", MyAtom "c"]
[(["a","b"],Just (MyNum 1)),(["c"],Just (MyNum 3))]

unify2lists [MyNum 1, MyNum 2, MyNum 3] [MyNum 1, MyNum 4, MyNum 5]
Program error: Unification: 3!=5

unify2lists [MyNum 1, MyNum 2, MyNum 3] [MyNum 1, MyAtom "a", MyNum 5]
Program error: Unification: 3!=5

Main> unify2lists [MyAtom "a", MyAtom "b", MyAtom "c"] [MyAtom "b", MyAtom "c", MyAtom "a"]
[(["a","b","c"],Nothing)]

unify2lists [MyNum 1, MyNum 4, MyNum 3] [MyNum 1, MyNested[MyNum 4], MyNum 3]
Program error: Cannot unify number 4 with list [MyNum 4]

unify2lists [MyNum 1, MyNum 2, MyNested[MyNum 3]] [MyNum 1, MyAtom "a", MyNested[MyNum 3, MyNum 1]]
Program error: Unequal length lists [MyNum 3] and [MyNum 3,MyNum 1]

unify2lists [MyNum 1, MyNested[MyNum 2], MyNum 3] [MyAtom "a", MyNested[MyAtom "b"], MyAtom "c"]
[(["a"],Just (MyNum 1)),(["b"],Just (MyNum 2)),(["c"],Just (MyNum 3))]

unify2lists [MyNum 1, MyNested[MyAtom "b"], MyNested[MyNested[MyNum 3]]] [MyAtom "a", MyNested[MyNum 2], MyNested[MyNested[MyAtom "c"]]]
[(["a"],Just (MyNum 1)),(["b"],Just (MyNum 2)),(["c"],Just (MyNum 3))]