Generalizing Knuth's Pseudocode Architecture From Algorithms to Knowledge