Una estrategia actualmente usada es la programación de lógica concurrente.