представление и обработка знаний в слабо формализованных предметных областях, программирование в ограничениях