Prolog: Add first problem and some new notes.
Prolog: Add some code and notes.
Prolog: Refactor notes.
Prolog: Add unification and resolution.