2. Логические модели и логическое программирование