Update Hanoi.pdf, NETEDIT.HLP, netedit.exe, Hanoi.cen, HanoiGame.pl, Netedit.ini

Hanoi.cen

+CENET;
+
+OPTIONS;
+
+FirstPlaceNumber: 1;
+FirstTransNumber: 1;
+NewNodeNumber:  Insert;
+FireMode:  Single, NoFactSafe, NoReduction, Safe;
+
+PLACES;
+          1 : "c_turn", 1, [1050, 560];
+          2 : "other_turn", 0, [1050, 700];
+          3 : "c1", 1, [1260, 560];
+          4 : "c2", 0, [1260, 630];
+          5 : "c3", 0, [1260, 700];
+          6 : "a1", 1, [1540, 770];
+          7 : "a2", 0, [1750, 630];
+          8 : "b1", 1, [1155, 910];
+          9 : "b2", 0, [1330, 840];
+         10 : "b3", 0, [1330, 980];
+         11 : "a3", 0, [1750, 840];
+         12 : "end", 0, [1680, 1015];
+
+TRANSITIONS;
+          1 : "e1", _, [1225, 840, 0];
+          2 : "e2", _, [1225, 945, 0];
+          3 : "e3", _, [1155, 560, 0];
+          4 : "e4", _, [1155, 630, 0];
+          5 : "e5", _, [1155, 700, 0];
+          6 : "e6", _, [1225, 875, 0];
+          7 : "e7", _, [1225, 980, 0];
+          8 : "e8", _, [1295, 910, 0];
+          9 : "e9", _, [1365, 910, 0];
+         10 : "e10", _, [1610, 560, 0];
+         11 : "e11", _, [1610, 595, 0];
+         12 : "e12", _, [1645, 840, 0];
+         13 : "e13", _, [1645, 910, 0];
+         14 : "e14", _, [1715, 735, 0];
+         15 : "e15", _, [1785, 735, 0];
+         16 : "e16", _, [1540, 1015, 0];
+
+PLACE-TRANSITION-ARROWS;
+          1 :  3;
+          1 :  4;
+          1 :  5;
+          2 :  1;
+          2 :  6;
+          2 :  2;
+          2 :  7;
+          2 :  8;
+          2 :  9;
+          2 : 10;
+          2 : 11;
+          2 : 12;
+          2 : 13;
+          2 : 14;
+          2 : 15;
+          3 :  3;
+          3 :  8;
+          3 :  9;
+          3 : 14;
+          3 : 15;
+          4 :  4;
+          4 :  2;
+          4 :  7;
+          4 : 13;
+          4 : 12;
+          4 : 16;
+          5 :  5;
+          5 :  1;
+          5 :  6;
+          5 : 10;
+          5 : 11;
+          6 : 10;
+          6 : 12;
+          7 : 11;
+          7 : 14;
+          7 : 16;
+          8 :  1;
+          8 :  2;
+          8 : 14;
+          8 : 15;
+          9 :  6;
+          9 :  8;
+          9 : 13;
+          9 : 12;
+          9 : 16;
+         10 :  7;
+         10 :  9;
+         10 : 10;
+         10 : 11;
+         11 : 13;
+         11 : 15;
+
+TRANSITION-PLACE-ARROWS;
+          1 :  9;
+          1 :  1;
+          1 :  5;
+          2 : 10;
+          2 :  1;
+          2 :  4;
+          3 :  2;
+          3 :  4;
+          4 :  2;
+          4 :  5;
+          5 :  2;
+          5 :  3;
+          6 :  8;
+          6 :  1;
+          6 :  5;
+          7 :  8;
+          7 :  1;
+          7 :  4;
+          8 : 10;
+          8 :  1;
+          8 :  3;
+          9 :  9;
+          9 :  1;
+          9 :  3;
+         10 :  7;
+         10 :  1;
+         10 :  5;
+         10 : 10;
+         11 :  6;
+         11 :  1;
+         11 :  5;
+         11 : 10;
+         12 : 11;
+         12 :  1;
+         12 :  4;
+         12 :  9;
+         13 :  6;
+         13 :  1;
+         13 :  4;
+         13 :  9;
+         14 : 11;
+         14 :  1;
+         14 :  3;
+         14 :  8;
+         15 :  7;
+         15 :  1;
+         15 :  3;
+         15 :  8;
+         16 : 12;
+
+END;

HanoiGame.pl

+% Author:
+% Date: 2021/11/16
+
+
+:-dynamic on/2,top/2.
+disk(a).
+disk(b).
+disk(c).
+
+pillar(p1).
+pillar(p2).
+pillar(p3).
+bigger(a,b).
+bigger(b,c).
+bigger(a,c).
+bigger(ground,a).
+bigger(ground,b).
+bigger(ground,c).
+on(b,a).
+on(c,b).
+on(a,ground).
+top(c,p1).
+top(ground,p2).
+top(ground,p3).
+
+order(p1,p2).
+order(p2,p3).
+order(p3,p1).
+neighbour(X,Y):-order(X,Y); order(Y,X).
+%%%%%%%%%%%%%%%%%%%%%%%
+
+canmove(X,P):-disk(X),top(X,P1),top(Y,P),bigger(Y,X).
+
+move(X,P):-canmove(X,P),retract(top(X,P1)),on(X,Y),retract(on(X,Y)),asserta(top(Y,P1)),retract(top(Z,P)), asserta(top(X,P)),asserta(on(X,Z)).
+
+move2(X):-top(X,P1),order(P1,P2),move(X,P2).
+move3(X):-top(X,P1),neighbour(P1,P2),move(X,P2).
+chec(P1,X2):-neighbour(P1,P2),top(X2,P2),disk(X2).
+
+hanoi2(X):-move3(X),hanoi1(c).
+hanoi1(X):-move2(X),top(X,P1),chec(P1,X2),hanoi2(X2).
+hanoi1(X):-true.

Netedit.ini

+[Fenster]
+Links=-6
+Oben=1
+Breite=1382
+Höhe=744
+Höhe=744
+
+[Exec]
+Programme=2
+Programm1=Editor, notepad.exe
+Programm2=INA, d:\inal151\ina.exe
+
+[Seite_einrichten]
+Verkleinern=10
+Vergrößern=31
+Bundsteg=20
+linker_Rand=40
+oberer_Rand=20
+rechter_Rand=30
+unterer_Rand=20
+innerer_Rand=10
+Beschriftung=40
+Umrahmung=0
+
+
+[register]
+name=Entwicklung
+firma=TU-Dresden
+nummer=V1.0a
+code={/j29};!c2|xxdwou}