Методология логического программирования: принципы и подходы