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) --> ... .
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) --> ... .