Інноваційні лабораторії да Вінчі. Логічне програмування.