I'm asking here because no textbook or website that I know of gives a definition of the above mentioned term. Since there's no obvious way (that I can think of) to define a normal subloop, I don't see how the definition of a simple group can be modified for the case of loops.
So - what is the definition of a simple loop? (And what is the motivation behind the definition?)