2023-12-08 19:10:35 -06:00
|
|
|
:- op(700, xfx, to).
|
|
|
|
|
direction("lr").
|
|
|
|
|
|
|
|
|
|
mma to mmb-xxx.
|
|
|
|
|
mmb to xxx-mmz.
|
|
|
|
|
mmz to mmb-xxx.
|
|
|
|
|
nna to nnb-xxx.
|
|
|
|
|
nnb to nnc-nnc.
|
|
|
|
|
nnc to nnz-nnz.
|
|
|
|
|
nnz to nnb-nnb.
|
2023-12-09 18:41:07 -06:00
|
|
|
ooa to ooz-oob.
|
|
|
|
|
oob to ood-ooc.
|
|
|
|
|
ooc to ooa-oox.
|
|
|
|
|
ood to ooz-ood.
|
|
|
|
|
ooz to oob-ooz.
|
2023-12-08 19:10:35 -06:00
|
|
|
xxx to xxx-xxx.
|
2023-12-09 18:41:07 -06:00
|
|
|
|
|
|
|
|
% Routes = [mma-(2-2-[0-mmz]), nna-(6-3-[0-nnz, 3-nnz]), ooa-(8-1-[0-ooz, 1-ooz])].
|
|
|
|
|
% X = mmannaooa-(24-18-[0-mmznnzooz]).
|
