(i.e., knowledge-that) in that it can be directly applied to a task. For instance, the procedural knowledge one uses to solve problems differs from the declarative knowledge one possesses about problem solving because this knowledge is formed by doing.

The distinction between knowing-how and knowing-that was brought to prominence in epistemology by Gilbert Ryle who used it in his book The Concept of Mind.