Lógica del Programa de Comportamiento y Semántica LAGC sin Continuaciones (Informe Técnico)