Add comments to "lists.ml"
Add "prolog_interpreter.ml"