Update "prolog_interpreter.ml"