u
inference engine for a specific formalism
u
A “higher“ level language to manipulate the knowledge
