Я настроен оптимистично по поводу $MAGMA и $KGEN , но $PRL уступает медведям.