Text this: Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)