2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30894This paper describes the semantics and ideas about SKY, a logic programming language intended in order to specify algorithmic strategies for the evaluation of problems.In italianLogic in Computer ScienceD.1.6text