Resumen de Un sistema de partición perezosa para Forum
Pablo López, Ernesto Pimentel Sánchez 
Forum se definió originalmente como una lógica de especificación capaz de integrar abstracción y concurrencia en un entorno declarativo. Desde su introducción, y a consecuencia de su gran expresividad, Forum ha sido ampliamente empleado como lenguaje de especificación. Sin embargo, ha habido un interés mucho menor en proporcionar una implementación eficiente de Forum. La implementación de formalismos basados en la Lógica Lineal, tales como Forum, plantea no obstante importantes problemas relacionados con el no-determinismo generado por la gestión de recursos. En este trabajo, definimos una regla de backchaining que sustituye a las reglas izquierdas de Forum, y describimos un sistema de partición perezosa que posibilita la gestión eficiente de los recursos. El sistema de partición perezosa se describe en términos de pilas de contextos, corrigiendo errores de anteriores propuestas, simplificando su implementación y mejorando su eficiencia. Por otra parte, el nuevo cálculo de secuentes perezoso de Forum admite una lectura tanto declarativa como operacional.
