Update "prolog_interpreter.ml"
Update "lists.ml", "practice.ml", etc.

Made minor changes to "lists.ml", "practice.ml", and
"prolog_interpreter.ml".