A high efficiency gasification process for converting carbonaceous solids to methane and apparatus for its practice are described. The process includes reacting steam and carbonaceous solids comprising ash in the presence of alkali metal catalyst in a gasification reactor to produce combustible gases and char particles comprising ash and alkali metal catalyst constituents, treating a stream of such char particles in an alkali metal catalyst recovery system to recover the catalyst constituents as alkali metal compounds, and recycling such recovered compounds. Within the alkali metal catalyst recovery system the process includes quenching the stream of char particles with water whereby such particles are cooled and fractured, dissolving soluble alkali metal catalyst constituents from the fractured solids to form a first alkali metal catalyst solution and washed solids, optionally reacting the washed solids in alkaline solution to form a second alkali metal catalyst solution, upgrading said first and optional second alkali solution to recover the alkali metal catalyst constituents as said alkali metal compounds.