Beauty of operators in DCG heads

General
1

I just realized that I could better represent my game transition rules by defining a custom operator ==> and rewriting my DCG state management rules as

some_game_state(Player) ==> another_state(OtherPlayer) --> ... .