Structures and Procedures of Implicit Knowledge (Ablex Series in Artificial Intelligence)