minor changes and documentation in the embedded prolog engine