reordered / contextulized prolog tests
added: argsloop docu and better test case