theoretical part moved before practical, removed note from intro
removed definitions from practical part
moved examples
extended 'knowledge representation' section - patterns, congruence, conditions,
  bindings, consistency, satisfaction, semantics