Progress in Logics Implementation