Eine Roboter-Sprache


Grammatik mit Ausgabe der Semantik

move(Dist) --> step(Dist). move(Dist) --> step(Dist1),move(Dist2),{Dist is Dist1 + Dist2}. step(1) --> [up]. step(-1) --> [down].