Updated README.
Project information and gitignore.
P01 solved. let and cond have reconciled me with not being in prolog.
P02 solved. gotta learn more about what data structures to use when.
P03 solved.
P04 solved. Learned function polymorphism.
P06 solved. Turns out I had solved p05 before.
P08 solved. missing p07.