home *** CD-ROM | disk | FTP | other *** search
- "Pruefstrategie"
-
- Spieler-am-Zug-kann-gewinnen(S-pielstand) ->
- Gewinnsituation(S-pielstand) /;
- Spieler-am-Zug-kann-gewinnen(S-pielstand) ->
- zulaessiger-Zug(S-pielstand,S-pielstand')
- not( Spieler-am-Zug-kann-gewinnen(S-pielstand'));
-
- "Spielregeln fuer das Streichholzspiel (Version 1)"
-
- Gewinnsituation(<F-arbe-am-Zug,0>) ->;
-
- zulaessiger-Zug(<F-arbe-am-Zug, H-oelzchenzahl >,
- <F-arbe-am-Zug', H-oelzchenzahl' >) ->
- Anzahl(n)
- val(inf( H-oelzchenzahl,n),0)
- val(sub( H-oelzchenzahl,n), H-oelzchenzahl')
- Gegner( F-arbe-am-Zug, F-arbe-am-Zug');
-
- Gegner(WEISS,SCHWARZ) ->;
- Gegner(SCHWARZ,WEISS) ->;
-
- Anzahl(n) -> enum(n,3);
-
- "Hilfspraedikat"
-
- not(p) -> p / fail;
- not(p) ->;