procedural knowledge representation