Листинг программы.

DOMAINS

file = fop

line = integer*

matrix = line*

PREDICATES

getline (integer, line, line)

getlines (integer, integer, matrix, matrix)

getmatrix (integer, matrix)

reverse (line, line, line)

reverselines (integer, matrix, matrix, matrix)

getelemfromline (line, integer, integer)

getelem (matrix, integer, integer, integer)

markelemfromline (integer, line, integer, line)

markelem (integer, matrix, integer, integer, matrix)

step (matrix, integer, integer, integer, integer, integer)

operate (integer, matrix, integer, integer, integer, integer, integer)

printline (line, integer)

print (matrix, integer, integer)

main

repeat

case (matrix, integer, integer)

CLAUSES

getline (0, Line, Line): -

!.

getline (Cnt, OldList, Line): -

readint (Value),

Temp = [Value | OldList],

NewCnt = Cnt - 1,getline (NewCnt, Temp, Line).

getlines (0, _, NewMatrix, NewMatrix): -

!.

getlines (Cnt, MSize, OldMatrix, NewMatrix): -

getline (MSize, [], Line),

Temp = [Line | OldMatrix],

NewCnt = Cnt - 1,getlines (NewCnt, MSize, Temp, NewMatrix).

getmatrix (MSize, OutputMatrix): -

readint (MSize),

getlines (MSize, MSize, [], OutputMatrix).

reverse ([], OutputList, OutputList): -

!.

reverse ([H | T], List, OutputList): -

NewList = [H | List],

reverse (T, NewList, OutputList).

reverselines (0, _, ModifiedMatrix, ModifiedMatrix): -

!.

reverselines (Cnt, [H | T], TmpMatrix, ModifiedMatrix): -

reverse (H, [], ReversedLine),

NewMatrix = [ReversedLine | TmpMatrix],

NewCnt = Cnt - 1,reverselines (NewCnt, T, NewMatrix, ModifiedMatrix).

getelemfromline ([H | T], 1, H): -

!.

getelemfromline ([H | T], J, Elem): -

NewJ = J - 1,getelemfromline (T, NewJ, Elem).

getelem ([H | T], 1, J, Elem): -

!, getelemfromline (H, J, Elem).

getelem ([H | T], I, J, Elem): -

NewI = I - 1,getelem (T, NewI, J, Elem).

markelemfromline (Mark, [H | T], 1, [Mark | T]): -

!.

markelemfromline (Mark, [H | T], J, [H | ModifiedLine]): -

NewJ = J - 1,markelemfromline (Mark, T, NewJ, ModifiedLine).

markelem (Mark, [H | T], 1, J, [NewLine | T]): -

!, markelemfromline (Mark, H, J, NewLine).

markelem (Mark, [H | T], I, J, [H | NewMatrix]): -

NewI = I - 1,markelem (Mark, T, NewI, J, NewMatrix).

step (Labyrinth, MSize, FromX, FromY, ToX, ToY): -

ToX = FromX,

ToY = FromY + 1,ToY <= MSize,

getelem (Labyrinth, ToX, ToY, Elem),

Elem = 0.

step (Labyrinth, MSize, FromX, FromY, ToX, ToY): -

ToX = FromX,

ToY = FromY - 1,ToY >= 0,getelem (Labyrinth, ToX, ToY, Elem),

Elem = 0.

step (Labyrinth, MSize, FromX, FromY, ToX, ToY): -

ToX = FromX + 1,ToY = FromY + 1,ToX <= MSize,

ToY <= MSize,

getelem (Labyrinth, ToX, ToY, Elem),

Elem = 0.

step (Labyrinth, MSize, FromX, FromY, ToX, ToY): -

ToX = FromX + 1,ToY = FromY,

ToX <= MSize,

getelem (Labyrinth, ToX, ToY, Elem),

Elem = 0.

step (Labyrinth, MSize, FromX, FromY, ToX, ToY): -

ToX = FromX + 1,ToY = FromY - 1,ToX <= MSize,

ToY > 0,getelem (Labyrinth, ToX, ToY, Elem),

Elem = 0.

step (Labyrinth, MSize, FromX, FromY, ToX, ToY): -

ToX = FromX - 1,ToY = FromY + 1,ToX > 0,ToY <= MSize,

getelem (Labyrinth, ToX, ToY, Elem),

Elem = 0.

step (Labyrinth, MSize, FromX, FromY, ToX, ToY): -

ToX = FromX - 1,ToY = FromY,

ToX > 0,getelem (Labyrinth, ToX, ToY, Elem),

Elem = 0.

step (Labyrinth, MSize, FromX, FromY, ToX, ToY): -

ToX = FromX - 1,ToY = FromY - 1,ToX > 0,ToY > 0,getelem (Labyrinth, ToX, ToY, Elem),

Elem = 0.

printline ([H], 1): -

!,

write (H),

nl.

printline ([H | T], J): -

NewJ = J - 1,write (H),

write (" "),

printline (T, NewJ).

print ([H], 1, J): -

!, printline (H, J).

print ([H | T], I, J): -

NewI = I - 1,printline (H, J),

print (T, NewI, J).

operate (Cnt, PathMatrix, MSize, X, Y, I, J): -

X = I,

Y = J,

markelem (Cnt, PathMatrix, X, Y, NewPathMatrix),

print (NewPathMatrix, MSize, MSize),

nl,

fail.

operate (Cnt, PathMatrix, MSize, X, Y, I, J): -

markelem (Cnt, PathMatrix, X, Y, NewPathMatrix),

step (NewPathMatrix, MSize, X, Y, NewX, NewY),

NewCnt = Cnt + 1,operate (NewCnt, NewPathMatrix, MSize, NewX, NewY, I, J).

repeat.

repeat: -

repeat.

case (Labyrinth, 1, MSize): -

write ("Enter starting point"),nl,

readint (X),

readint (Y),

write ("Enter ending point"),nl,

readint (I),

readint (J),

openwrite (fop, "lab. txt"),

writedevice (fop),

operate (2, Labyrinth, MSize, X, Y, I, J).

case (_, 1, _): -

file_str (fop, "lab. txt"),

closefile (fop),

fail.

case (_, 2, _): -

!.

main: -

write ("Input the name of file: "), nl,

readln (Fname),

openread (fop, Fname),

readdevice (fop),

getmatrix (MSize, MatrixInFile),

closefile (fop),

reverselines (MSize, MatrixInFile, [], Labyrinth),

repeat,

write ("Menu: "),nl,

write ("1) Play labyrinth"), nl,

write ("2) Exit"),nl,

readint (Choice),nl,

case (Labyrinth, Choice, MSize).

main.

GOAL

main.