>They leave out the implementation. Code has structural and algorithmic details that just have no comparable concept in recipes.

That is really quite debatable in some contexts. Declarative languages like Prolog, SQL, etc. declare what they want and the system figures out how to produce it. Much like a recipe, really.