Что такое декларативное программирование, и каковы его примеры, такие как HTML и SQL?