Model SOLOS. Výsledky projektu Prolog pracovní sešit 1