Иллюстрации моделей представления знаний: логические и продукционные