Logos и Systran — первые и самые крупные, но, конечно, далеко не единственные системы, в которых использовался перевод на основе правил.