Updated Using the Prolog resolver (markdown)
Added `length` predicate
New predicate explanations and examples