I tend to view procedural knowledge as being infered from propositional knowledge. You have the map (propositional), draw the route (procedural) and then store/transmit essentially only the route without the map (the how without all of the justufucation, although some does leak in). Mentions to automatic habit etc. can essentially be considered caching that persists even after the propositional knowledge has been discarded.

I view Alicorn's method as essentially 1. gathering a lot of (procedural) routes to similar goals, 2. reverse-engineering propositional knowledge from them by using (mostly) voting and 3. adding extra knowledge through experimentation and the current circumstances. This arrives at a new procedure that reaches a goal in cookie-space that is satisfying to Alicorn's taste, constrained resources available to her, in short, an Alicorn-optimized procedure.