The term grok was coined by Robert Heinlein for his book Stranger in a Strange Land — it has been stated, if I recall correctly, that the book is basically an extended definition of the term. 😄