Clojure: Add core.logic TODO resources.
Prolog: Add some call traces.
Prolog: Add list reverse.