Updated the specification. Consequently, the lua2prolog program was updated to reflect the revised specification.
Put all printCallStack/2 clauses together.
Updated documentation.
Updated documentation, implemented Prolua's syntax and it's program evaluation semantics.