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