- The Lua compiler (luac) is now used to verify the syntax of Lua scripts.
- Fixed the way the Prolog interpreter obtains the filename to interpret. Apparently
  the '--' argument is not part of the 'argv' Prolog flag anymore.
- Returned the correct evaluation state after the evaluation of the 'tostring' intrinsic.
- Updated the documentation.