Here is the standard Sokoban rule, but in a different order:
[ {UP,RIGHT,DOWN,LEFT} Player | Crate ] -> [ {UP,RIGHT,DOWN,LEFT} Player | {UP,RIGHT,DOWN,LEFT} Crate ]
Here is part of some logic for doing arithmetic:
[[ N{0-8} ] -> [ N{1-9}]
I think this can do everything P:S can do, instead of having the MAP and TAG sections.
Here is the standard Sokoban rule, but in a different order:
[ {UP,RIGHT,DOWN,LEFT} Player | Crate ] -> [ {UP,RIGHT,DOWN,LEFT} Player | {UP,RIGHT,DOWN,LEFT} Crate ]Here is part of some logic for doing arithmetic:[[ N{0-8} ] -> [ N{1-9}]I think this can do everything P:S can do, instead of having the MAP and TAG sections.