Ok Pablo.
Tener presente entonces que el ";" permite hacer la composición de tácticas. Por ejemplo, t1;t2 aplica t2 a cada subgoal generado luego de aplicar t1. Ahora, supongamos que al aplicar t1 al goal actual se generan dos subgoals; si se pone t1;[t2|t3];t4 el efecto que es que luego de aplicar t1 se aplica t2 al primer subgoal generado y t3 al segundo. En ambos casos se aplicaría t4 al final.
Saludos, Carlos