KnuthBendix.jl provides a very simple parsing of the kbmag input files. To replicate e.g. Example 1 from GAP documentation you can run

julia> example1_str = """rec(
              isRWS := true,
         generatorOrder := [_g1,_g2,_g3],
           inverses := [_g1,_g3,_g2],
           ordering := "shortlex",
          equations := [
            [_g2^2,_g3],
            [_g1*_g2*_g1,_g3*_g1*_g3]
          ]
       )""";

julia> kbrws = KnuthBendix.parse_kbmag(example1_str)
rec(
           isRWS := true,
  generatorOrder := [_g1,_g2,_g3],
        inverses := [_g1,_g3,_g2],
        ordering := "shortlex",
       equations := [
    [_g2*_g2, _g3],
    [_g1*_g2*_g1, _g3*_g1*_g3]
  ]
)

julia> rws = RewritingSystem(kbrws)
rewriting system with 5 active rules.
rewriting ordering: LenLex: _g1 < _g2 < _g3
┌──────┬──────────────────────────────────┬──────────────────────────────────┐
│ Rule │                              lhs │ rhs                              │
├──────┼──────────────────────────────────┼──────────────────────────────────┤
│    1 │                            _g1^2 │ (id)                             │
│    2 │                          _g2*_g3 │ (id)                             │
│    3 │                          _g3*_g2 │ (id)                             │
│    4 │                            _g2^2 │ _g3                              │
│    5 │                      _g3*_g1*_g3 │ _g1*_g2*_g1                      │
└──────┴──────────────────────────────────┴──────────────────────────────────┘


julia> knuthbendix(rws)
reduced, confluent rewriting system with 11 active rules.
rewriting ordering: LenLex: _g1 < _g2 < _g3
┌──────┬──────────────────────────────────┬──────────────────────────────────┐
│ Rule │                              lhs │ rhs                              │
├──────┼──────────────────────────────────┼──────────────────────────────────┤
│    1 │                            _g1^2 │ (id)                             │
│    2 │                            _g2^2 │ _g3                              │
│    3 │                          _g2*_g3 │ (id)                             │
│    4 │                          _g3*_g2 │ (id)                             │
│    5 │                            _g3^2 │ _g2                              │
│    6 │                      _g2*_g1*_g2 │ _g1*_g3*_g1                      │
│    7 │                      _g3*_g1*_g3 │ _g1*_g2*_g1                      │
│    8 │                  _g1*_g2*_g1*_g3 │ _g3*_g1*_g2                      │
│    9 │                  _g1*_g3*_g1*_g2 │ _g2*_g1*_g3                      │
│   10 │                  _g2*_g1*_g3*_g1 │ _g3*_g1*_g2                      │
│   11 │                  _g3*_g1*_g2*_g1 │ _g2*_g1*_g3                      │
└──────┴──────────────────────────────────┴──────────────────────────────────┘