игра Хитори

@blackbanny · Регистрация: 14.11.2010

Студворк — интернет-сервис помощи студентам

ребят есть у кого нибудь программа игры Хитори, хоть что то, а то сроки поджимают, не успеваю сделать... =(

@Грымзик · 25.12.2010, 02:07

Нет, вот если бы было например [a(1,1,1),a(-5,1,2),a(-3,2,1),a(7,2,2)], то клетку с координатам (1,1) можно считать изолированной от клетки (2,2), поскольку как бы я вправо-влево, вверх-вниз не двигалась, я не смогла бы от первой ко второй прийти (я думаю, что подразумевается, что по диагонали ходить нельзя). Если хотите, чтобы и по диагонали можно было ходить, то дополните предикат ryadom. А net_bolshe_povtoryayushihsya(Fields) как раз надо писать, я такой проверки не сделала.

@blackbanny · 25.12.2010, 02:20 **[ТС]**

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
DOMAINS
a=a(c,i,j)
m=a*
c=integer
i=integer
j=integer
file=field
 
PREDICATES
 
corner(i,j,i,j)
check(m,a)
pervee(i,j,i,j)
member(a,m)
candidate(m,a,a)
step(m,m)
delete(m,a,m)
steps(m)
dostizimi(m)
izolirovana(m)
ryadom(i,j,i,j)
way(m,a,m).
 
CLAUSES
member(A,[A|_]).
member(A,[_|P]):-member(A,P).
 
delete([],_,[]).
delete([A|T],A,T):-!.
delete([X|T],A,[X|T1]):-delete(T,A,T1).
 
corner(I,J,I1,J1):-I1=I-1,J1=J-1;I1=I+1,J1=J+1;
I1=I-1,J1=J+1;I1=I+1,J1=J-1.
 
check(Fields,a(C,I,J)):-member(a(C,I1,J),Fields),
not(I1=I);
member(a(C,I,J1),Fields),not(J1=J).
 
pervee(I,_,I1,_):-I<I1,!.
pervee(I,J,I,J1):-J<J1.
 
candidate(Fields,a(C,I,J),a(C1,I1,J1)):-member(a(C,I,J),Fields),
C>0,member(a(C1,I1,J1),Fields),C1>0,pervee(I,J,I1,J1),corner(I,J,I1,J1),
check(Fields,a(C,I,J)),check(Fields,a(C1,I1,J1)).
 
step(Fields,NewFields):-candidate(Fields,a(C,I,J),
a(C1,I1,J1)),delete(Fields,a(C,I,J),Fields1),
delete(Fields1,a(C1,I1,J1),Tail),
CC=-C,CC1=-C1,NewFields=[a(CC,I,J),a(CC1,I1,J1)|Tail].
 
steps(Fields):-step(Fields,NewFields),steps(NewFields).
steps(Fields):-not(step(Fields,_)),dostizimi(Fields),write(Fields).
 
dostizimi(Fields):-not(izolirovana(Fields)).
 
izolirovana(Fields):-member(a(C,I,J),Fields),C>0,member(a(C1,I1,J1),Fields),
        C1>0,not(way(Fields,a(C1,I1,J1),[a(C,I,J)])).
 
ryadom(I,J,I1,J):-I1=I-1;I1=I+1.
ryadom(I,J,I,J1):-J1=J-1;J1=J+1.
 
way(_,a(C,I,J),[a(C,I,J)|_]):-!.
way(Fields,a(EndC,EndI,EndJ),[a(TempC,TempI,TempJ)|Prev]):-ryadom(TempI,TempJ,I,J),
        member(a(C,I,J),Fields),C>0,
        not(member(a(_,I,J),Prev)),
        way(Fields,a(EndC,EndI,EndJ),[a(C,I,J),a(TempC,TempI,TempJ)|Prev]).
 
 
GOAL
Fields=[a(4,1,1),a(7,1,2),a(7,1,3),a(7,2,3),a(5,2,2),a(8,2,1),a(7,3,1),a(3,3,2),a(10,3,3)],steps(Fields).

после выполнения программы почему то ничего не выводится...

скоро голова лопнет, у меня время уже шестой час утра... =(

Добавлено через 5 минут
net_bolshe_povtoryayushihsya должен выглядить так или я что то вру:

Prolog
1
2
net_bolshe_povtoryayushihsya([_|_]).
net_bolshe_povtoryayushihsya([H|T],I):-member(a(C,I,_),Fields),I=I+1,net_bolshe_povtoryayushihsya(T).

@Грымзик · 25.12.2010, 02:29

Нет решения потому что в данном тесте единственный кандидат на ответ это [a(-7,1,2),a(-7,2,1),a(4,1,1),a(7,1,3),a(5,2,2),a(8,2, 3),a(7,3,1),a(3,3,2),a(10,3,3)], но тут клетка (1,1) недостижима для всех остальных, так что все нормально работает.
Это правило net_bolshe_povtoryayushihsya([_|_]) будет выполнятся для любого списка, содержащего больше чем 1 элемент.

Prolog
1
2
3
net_bolshe_povtoryayushihsya(Fields):-not(povtoryayushiesya(Fileds)).
povtoryayushiesya(Fields):-member(a(C,I,J),Fields),C>0,member(a(C,I,J1),Fields),not(J=J1).
povtoryayushiesya(Fields):-member(a(C,I,J),Fields),C>0,member(a(C,I1,J),Fields),not(I=I1).

@blackbanny · 25.12.2010, 02:41 **[ТС]**

Сообщение от Грымзик

Нет решения потому что в данном тесте единственный кандидат на ответ это [a(-7,1,2),a(-7,2,1),a(4,1,1),a(7,1,3),a(5,2,2),a(8,2, 3),a(7,3,1),a(3,3,2),a(10,3,3)], но тут клетка (1,1) недостижима для всех остальных, так что все нормально работает.

что то я не пойму... если ввести такой список [a(4,1,1),a(5,1,2),a(6,1,3),a(5,2,1),a(6, 2,2),a(7,2,3),a(8,3,1),a(6,3,2),a(9,3,3)], то что програмаа нам должна вывести?

Добавлено через 4 минуты
вот я вставил предикат net_bolshe_povtoryayushihsya и программа ничего не выводит для строки [a(4,1,1),a(5,1,2),a(6,1,3),a(5,2,1),a(6, 2,2),a(7,2,3),a(8,3,1),a(6,3,2),a(9,3,3)]

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
DOMAINS
a=a(c,i,j)
m=a*
c=integer
i=integer
j=integer
file=field
 
PREDICATES
 
corner(i,j,i,j)
check(m,a)
pervee(i,j,i,j)
member(a,m)
candidate(m,a,a)
step(m,m)
delete(m,a,m)
steps(m)
dostizimi(m)
izolirovana(m)
ryadom(i,j,i,j)
way(m,a,m).
net_bolshe_povtoryayushihsya(m)
povtoryayushiesya(m)
 
CLAUSES
member(A,[A|_]).
member(A,[_|P]):-member(A,P).
 
delete([],_,[]).
delete([A|T],A,T):-!.
delete([X|T],A,[X|T1]):-delete(T,A,T1).
 
corner(I,J,I1,J1):-I1=I-1,J1=J-1;I1=I+1,J1=J+1;
I1=I-1,J1=J+1;I1=I+1,J1=J-1.
 
check(Fields,a(C,I,J)):-member(a(C,I1,J),Fields),
not(I1=I);
member(a(C,I,J1),Fields),not(J1=J).
 
pervee(I,_,I1,_):-I<I1,!.
pervee(I,J,I,J1):-J<J1.
 
candidate(Fields,a(C,I,J),a(C1,I1,J1)):-member(a(C,I,J),Fields),
C>0,member(a(C1,I1,J1),Fields),C1>0,pervee(I,J,I1,J1),corner(I,J,I1,J1),
check(Fields,a(C,I,J)),check(Fields,a(C1,I1,J1)).
 
step(Fields,NewFields):-candidate(Fields,a(C,I,J),
a(C1,I1,J1)),delete(Fields,a(C,I,J),Fields1),
delete(Fields1,a(C1,I1,J1),Tail),
CC=-C,CC1=-C1,NewFields=[a(CC,I,J),a(CC1,I1,J1)|Tail].
 
steps(Fields):-step(Fields,NewFields),steps(NewFields).
steps(Fields):-not(step(Fields,_)),net_bolshe_povtoryayushihsya(Fields),dostizimi(Fields),write(Fields).
 
net_bolshe_povtoryayushihsya(Fields):-not(povtoryayushiesya(Fields)).
povtoryayushiesya(Fields):-member(a(C,I,J),Fields),member(a(C,I,J1),Fields),not(J=J1).
povtoryayushiesya(Fields):-member(a(C,I,J),Fields),member(a(C,I1,J),Fields),not(I=I1).
 
dostizimi(Fields):-not(izolirovana(Fields)).
 
izolirovana(Fields):-member(a(C,I,J),Fields),C>0,member(a(C1,I1,J1),Fields),
        C1>0,not(way(Fields,a(C1,I1,J1),[a(C,I,J)])).
 
ryadom(I,J,I1,J):-I1=I-1;I1=I+1.
ryadom(I,J,I,J1):-J1=J-1;J1=J+1.
 
way(_,a(C,I,J),[a(C,I,J)|_]):-!.
way(Fields,a(EndC,EndI,EndJ),[a(TempC,TempI,TempJ)|Prev]):-ryadom(TempI,TempJ,I,J),
        member(a(C,I,J),Fields),C>0,
        not(member(a(_,I,J),Prev)),
        way(Fields,a(EndC,EndI,EndJ),[a(C,I,J),a(TempC,TempI,TempJ)|Prev]).
 
 
GOAL
Fields=[a(4,1,1),a(5,1,2),a(6,1,3),a(5,2,1),a(6,2,2),a(7,2,3),a(8,3,1),a(6,3,2),a(9,3,3)],steps(Fields).

@Грымзик · 25.12.2010, 02:47

А что она по-Вашему должна вывести? Она ничего не зачеркнет, т.к повторение есть только во втором столбце. Там надо зачеркнуть одну из шестерок, но ее не с чем зачеркнуть, т.к все другие элементы не повторяются. Т.е у нас получилось все поле не зачеркнуто, но сдвоенная цифра осталась. Значит нет решения.

Добавлено через 3 минуты
Еще обратите внимание, что я предикат "повторяющиеся" немного изменила.

@blackbanny · 25.12.2010, 02:57 **[ТС]**

Сообщение от Грымзик

А что она по-Вашему должна вывести? Она ничего не зачеркнет, т.к повторение есть только во втором столбце. Там надо зачеркнуть одну из шестерок, но ее не с чем зачеркнуть, т.к все другие элементы не повторяются. Т.е у нас получилось все поле не зачеркнуто, но сдвоенная цифра осталась. Значит нет решения.

Добавлено через 3 минуты
Еще обратите внимание, что я предикат "повторяющиеся" немного изменила.

так у нас же здесь [a(4,1,1),a(5,1,2),a(6,1,3),a(5,2,1),a(6, 2,2),a(7,2,3),a(8,3,1),a(6,3,2),a(9,3,3)], как бы получается такое поле:

4 5 6
5 6 7
8 6 9

ну а как написано в правилах игры на первой странице топика, нужно вычеркнуть цифры повторяющиеся в любой строке или столбце чаще одного раза, а здесь цифра 6 повторяется 2 раза во втором столбце...

@Грымзик · 25.12.2010, 03:13

А, ну да, я перепутала, я думала, что надо сразу по две вычеркивать, которые по диагонали располагаются, сейчас исправлю.

@blackbanny · 25.12.2010, 03:20 **[ТС]**

Сообщение от Грымзик

А, ну да, я перепутала, я думала, что надо сразу по две вычеркивать, которые по диагонали располагаются, сейчас исправлю.

буду очень рад, Вы просто не представляете, как спасаете меня)))

@Грымзик · 25.12.2010, 03:24

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
DOMAINS
a=a(c,i,j)
m=a*
c=integer
i=integer
j=integer
file=field
 
PREDICATES
 
corner(i,j,i,j)
check(m,a)
est_ryadom_zacherknutie(m,i,j)
member(a,m)
candidate(m,a)
step(m,m)
delete(m,a,m)
steps(m)
dostizimi(m)
izolirovana(m)
ryadom(i,j,i,j)
way(m,a,m).
net_bolshe_povtoryayushihsya(m)
povtoryayushiesya(m)
 
CLAUSES
member(A,[A|_]).
member(A,[_|P]):-member(A,P).
 
delete([],_,[]).
delete([A|T],A,T):-!.
delete([X|T],A,[X|T1]):-delete(T,A,T1).
 
corner(I,J,I1,J1):-I1=I-1,J1=J-1;I1=I+1,J1=J+1;
I1=I-1,J1=J+1;I1=I+1,J1=J-1.
 
check(Fields,a(C,I,J)):-member(a(C,I1,J),Fields),not(I=I1);member(a(C,I,J1),Fields),not(J=J1).
 
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I,J1),Fields),C<0,J1=J-1.
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I,J1),Fields),C<0,J1=J+1.
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I1,J),Fields),C<0,I1=I-1.
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I1,J),Fields),C<0,I1=I+1.
 
candidate(Fields,a(C,I,J)):-member(a(C,I,J),Fields),C>0,check(Fields,a(C,I,J)),
    not(est_ryadom_zacherknutie(Fields,I,J)).
 
step(Fields,NewFields):-candidate(Fields,a(C,I,J)),delete(Fields,a(C,I,J),Tail),
    CC=-C,NewFields=[a(CC,I,J)|Tail].
 
steps(Fields):-step(Fields,NewFields),steps(NewFields).
steps(Fields):-not(step(Fields,_)),dostizimi(Fields),write(Fields).
 
dostizimi(Fields):-not(izolirovana(Fields)).
 
izolirovana(Fields):-member(a(C,I,J),Fields),C>0,member(a(C1,I1,J1),Fields),
    C1>0,not(way(Fields,a(C1,I1,J1),[a(C,I,J)])).
 
net_bolshe_povtoryayushihsya(Fields):-not(povtoryayushiesya(Fields)).
 
povtoryayushiesya(Fields):-member(a(C,I,J),Fields),C>0,member(a(C,I,J1),Fields),not(J=J1).
povtoryayushiesya(Fields):-member(a(C,I,J),Fields),C>0,member(a(C,I1,J),Fields),not(I=I1).
 
ryadom(I,J,I1,J):-I1=I-1;I1=I+1.
ryadom(I,J,I,J1):-J1=J-1;J1=J+1.
 
way(_,a(C,I,J),[a(C,I,J)|_]):-!.
way(Fields,a(EndC,EndI,EndJ),[a(TempC,TempI,TempJ)|Prev]):-ryadom(TempI,TempJ,I,J),
    member(a(C,I,J),Fields),C>0,
    not(member(a(_,I,J),Prev)),
    way(Fields,a(EndC,EndI,EndJ),[a(C,I,J),a(TempC,TempI,TempJ)|Prev]).
 
 
GOAL
Fields=[a(4,1,1),a(5,1,2),a(6,1,3),a(5,2,1),a(6,2,2),a(7,2,3),a(8,3,1),a(6,3,2),a(9,3,3)],steps(Fields).

Добавлено через 1 минуту
Ну и предикат corner уже не нужен.

Добавлено через 2 минуты
И еще обратите внимание на 42 строку, я там - исправила на +. А то Вы всегда копируете быстрей, чем я успеваю исправить.

@blackbanny · 25.12.2010, 03:31 **[ТС]**

большой спасибо, сейчас попробую написать вывод в виде нормального поля и проверить для этого случая [a(4,1,1),a(7,1,2),a(7,1,3),a(3,1,4),a(6, 1,5),a(8,1,6),a(2,1,7),a(5,1,8),a(7,2,1) ,a(5,2,2),a(8,2,3),a(1,2,4),a(4,2,5),a(7 ,2,6),a(6,2,7),a(5,2,8),a(5,3,1),a(1,3,2 ),a(4,3,3),a(8,3,4),a(8,3,5),a(7,3,6),a( 3,3,7),a(3,3,8),a(3,4,1),a(3,4,2),a(3,4, 3),a(4,4,4),a(1,4,5),a(7,4,6),a(7,4,7),a (8,4,8),a(1,5,1),a(4,5,2),a(2,5,3),a(7,5 ,4),a(5,5,5),a(5,5,6),a(3,5,7),a(8,5,8), a(3,6,1),a(2,6,2),a(5,6,3),a(6,6,4),a(7, 6,5),a(1,6,6),a(2,6,7),a(4,6,8),a(4,7,1) ,a(8,7,2),a(2,7,3),a(2,7,4),a(2,7,5),a(3 ,7,6),a(1,7,7),a(6,7,8),a(2,8,1),a(4,8,2 ),a(1,8,3),a(6,8,4),a(5,8,5),a(8,8,6),a( 8,8,7),a(8,8,8)] =)))

Добавлено через 7 минут
а вот по поводу вывода, у нас же порядок координат сбивается, после выполнения программы, т.е. если бежать по списку последовательно, то нельзя будет вывести поле правильно...
можно же записать список в БД, например bd(c,i,j), а потом из БД вытягивать элементы по полям, т.е. вытягиваем построчно, сначала пишем i=1 и печатаем все цифры для элементов базы с параметром i=1, потом увеличиваем i, переходим на другую строку и рекурсивно вызываем тот же предикат?

или можно как то попроще?

@Грымзик · 25.12.2010, 03:38

Prolog
1
2
3
show(_,9,_):-!.
show(Fields,I,9):-!,nl,I1=I+1,show(Fields,I1,1).
show(Fields,I,J):-member(a(C,I,J),Fields),write(C," "),J1=J+1,show(Fields,I,J1).

И вызывается соответственно show(Fields,1,1). Что-то я не могу дождаться завершения работы программы на таком огромном тесте

@blackbanny · 25.12.2010, 03:50 **[ТС]**

Сообщение от Грымзик

Prolog
1
2
3
show(_,9,_):-!.
show(Fields,I,9):-!,nl,I1=I+1,show(Fields,I1,1).
show(Fields,I,J):-member(a(C,I,J),Fields),write(C," "),J1=J+1,show(Fields,I,J1).

И вызывается соответственно show(Fields,1,1). Что-то я не могу дождаться завершения работы программы на таком огромном тесте

я тоже

придется, наверное меньше брать поле для показа...

Добавлено через 5 минут
выводит как то странно)

4 5 6 4 5 6 ???

Добавлено через 47 секунд

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
DOMAINS
a=a(c,i,j)
m=a*
c=integer
i=integer
j=integer
file=field
 
PREDICATES
 
corner(i,j,i,j)
check(m,a)
est_ryadom_zacherknutie(m,i,j)
member(a,m)
candidate(m,a)
step(m,m)
delete(m,a,m)
steps(m)
dostizimi(m)
izolirovana(m)
ryadom(i,j,i,j)
way(m,a,m).
net_bolshe_povtoryayushihsya(m)
povtoryayushiesya(m)
show(m,i,j)
 
CLAUSES
member(A,[A|_]).
member(A,[_|P]):-member(A,P).
 
delete([],_,[]).
delete([A|T],A,T):-!.
delete([X|T],A,[X|T1]):-delete(T,A,T1).
 
corner(I,J,I1,J1):-I1=I-1,J1=J-1;I1=I+1,J1=J+1;
I1=I-1,J1=J+1;I1=I+1,J1=J-1.
 
check(Fields,a(C,I,J)):-member(a(C,I1,J),Fields),not(I=I1);member(a(C,I,J1),Fields),not(J=J1).
 
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I,J1),Fields),C<0,J1=J-1.
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I,J1),Fields),C<0,J1=J+1.
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I1,J),Fields),C<0,I1=I-1.
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I1,J),Fields),C<0,I1=I-1.
 
candidate(Fields,a(C,I,J)):-member(a(C,I,J),Fields),C>0,check(Fields,a(C,I,J)),
        not(est_ryadom_zacherknutie(Fields,I,J)).
 
step(Fields,NewFields):-candidate(Fields,a(C,I,J)),delete(Fields,a(C,I,J),Tail),
        CC=-C,NewFields=[a(CC,I,J)|Tail].
 
steps(Fields):-step(Fields,NewFields),steps(NewFields).
steps(Fields):-not(step(Fields,_)),dostizimi(Fields).%,write(Fields).
 
dostizimi(Fields):-not(izolirovana(Fields)).
 
izolirovana(Fields):-member(a(C,I,J),Fields),C>0,member(a(C1,I1,J1),Fields),
        C1>0,not(way(Fields,a(C1,I1,J1),[a(C,I,J)])).
 
net_bolshe_povtoryayushihsya(Fields):-not(povtoryayushiesya(Fields)).
 
povtoryayushiesya(Fields):-member(a(C,I,J),Fields),C>0,member(a(C,I,J1),Fields),not(J=J1).
povtoryayushiesya(Fields):-member(a(C,I,J),Fields),C>0,member(a(C,I1,J),Fields),not(I=I1).
 
ryadom(I,J,I1,J):-I1=I-1;I1=I+1.
ryadom(I,J,I,J1):-J1=J-1;J1=J+1.
 
way(_,a(C,I,J),[a(C,I,J)|_]):-!.
way(Fields,a(EndC,EndI,EndJ),[a(TempC,TempI,TempJ)|Prev]):-ryadom(TempI,TempJ,I,J),
        member(a(C,I,J),Fields),C>0,
        not(member(a(_,I,J),Prev)),
        way(Fields,a(EndC,EndI,EndJ),[a(C,I,J),a(TempC,TempI,TempJ)|Prev]).
 
show(_,9,_):-!.
show(Fields,I,9):-!,nl,I1=I+1,show(Fields,I1,1).
show(Fields,I,J):-member(a(C,I,J),Fields),write(C," "),J1=J+1,show(Fields,I,J1).
 
 
GOAL
Fields=[a(4,1,1),a(5,1,2),a(6,1,3),a(5,2,1),a(6,2,2),a(7,2,3),a(8,3,1),a(6,3,2),a(9,3,3)],steps(Fields),show(Fields,1,1).

@Грымзик · 25.12.2010, 03:55

Потому что вывод рассчитан на поле 8х8. Если надо поле например 3х5 (3 строки, 5 столбцов), то измените на

Prolog
1
2
3
show(_,4,_):-!.
show(Fields,I,6):-!,nl,I1=I+1,show(Fields,I1,1).
show(Fields,I,J):-member(a(C,I,J),Fields),write(C," "),J1=J+1,show(Fields,I,J1).

Добавлено через 1 минуту
И Вы вывод не там поместили, надо где %,write(Fields).

@blackbanny · 25.12.2010, 03:57 **[ТС]**

спасибо еще раз)))

@Грымзик · 25.12.2010, 04:09

И измените - на + в 43 строке.

@blackbanny · 27.12.2010, 16:01 **[ТС]**

написал простенький пользовательский интерфейс, но почему после выбора 2 пункта меню, программа выводит много раз решенное поле...
вроде как переполнение буфера происходит или что то другое?
не знаю, как исправить...

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
DOMAINS
a=a(c,i,j)
m=a*
c=integer
i=integer
j=integer
file=field
 
PREDICATES
 
menu
repeat
do(char)
 
check(m,a)
est_ryadom_zacherknutie(m,i,j)
member(a,m)
candidate(m,a)
step(m,m)
delete(m,a,m)
steps(m)
dostizimi(m)
izolirovana(m)
ryadom(i,j,i,j)
way(m,a,m).
show(m,i,j)
open(m)
 
CLAUSES
 
menu:-repeat,
write("1 Vivesti ishodnoe pole"),nl,
write("2 Vivesti pole posle reshenija"),nl,
write("0 Vihod"),nl,nl,
readchar(N),do(N),N='0'.
 
do('1'):-open(Fields),show(Fields,1,1),nl.
 
do('2'):-open(Fields),steps(Fields),nl.
 
do('0').
 
do(_):-write("Neverniy punkt menu"),nl,nl.
REPEAT.
REPEAT:-REPEAT.
 
open(Fields):-openread(field,"field.txt"),
readdevice(field),readterm(m,Fields),
closefile(field).
 
 
member(A,[A|_]).
member(A,[_|P]):-member(A,P).
 
delete([],_,[]).
delete([A|T],A,T):-!.
delete([X|T],A,[X|T1]):-delete(T,A,T1).
 
 
 
check(Fields,a(C,I,J)):-member(a(C,I1,J),Fields),not(I=I1);member(a(C,I,J1),Fields),not(J=J1).
 
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I,J1),Fields),C<0,J1=J-1.
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I,J1),Fields),C<0,J1=J+1.
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I1,J),Fields),C<0,I1=I-1.
est_ryadom_zacherknutie(Fields,I,J):-member(a(C,I1,J),Fields),C<0,I1=I+1.
 
candidate(Fields,a(C,I,J)):-member(a(C,I,J),Fields),C>0,check(Fields,a(C,I,J)),
        not(est_ryadom_zacherknutie(Fields,I,J)).
 
step(Fields,NewFields):-candidate(Fields,a(C,I,J)),delete(Fields,a(C,I,J),Tail),
        CC=-C,NewFields=[a(CC,I,J)|Tail].
 
steps(Fields):-step(Fields,NewFields),steps(NewFields).
steps(Fields):-not(step(Fields,_)),dostizimi(Fields),show(Fields,1,1).
 
dostizimi(Fields):-not(izolirovana(Fields)).
 
izolirovana(Fields):-member(a(C,I,J),Fields),C>0,member(a(C1,I1,J1),Fields),
        C1>0,not(way(Fields,a(C1,I1,J1),[a(C,I,J)])).
 
 
 
ryadom(I,J,I1,J):-I1=I-1;I1=I+1.
ryadom(I,J,I,J1):-J1=J-1;J1=J+1.
 
way(_,a(C,I,J),[a(C,I,J)|_]):-!.
way(Fields,a(EndC,EndI,EndJ),[a(TempC,TempI,TempJ)|Prev]):-ryadom(TempI,TempJ,I,J),
        member(a(C,I,J),Fields),C>0,
        not(member(a(_,I,J),Prev)),
        way(Fields,a(EndC,EndI,EndJ),[a(C,I,J),a(TempC,TempI,TempJ)|Prev]).
 
show(_,5,_):-!.
show(Fields,I,5):-!,nl,I1=I+1,show(Fields,I1,1).
show(Fields,I,J):-member(a(C,I,J),Fields),write(C," "),J1=J+1,show(Fields,I,J1).
 
GOAL
clearwindow(),menu.
 
%open(Fields),steps(Fields).

@Грымзик · 27.12.2010, 17:04

Решения наверно все же разные? Визуал пролог ищет все возможные решения, про турбо такого не знала, но значит и он тоже.

@blackbanny · 27.12.2010, 17:40 **[ТС]**

Сообщение от Грымзик

Решения наверно все же разные? Визуал пролог ищет все возможные решения, про турбо такого не знала, но значит и он тоже.

там он выводит одно и тоже решение...
если из секции GOAL писать open(Fields),steps(Fields), то выводит нормально одно решение...

@Грымзик · 27.12.2010, 17:49

А, ну поняла, это из-за строки
readchar(N),do(N),N='0'.
Т.е проверка на N='0' не выполняется, происходит откат назад к do(N). Надо вот так:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
menu:-
write("1 Vivesti ishodnoe pole"),nl,
write("2 Vivesti pole posle reshenija"),nl,
write("0 Vihod"),nl,nl,
readchar(N),do(N).
 
do('1'):-open(Fields),show(Fields,1,1),nl,menu.
 
do('2'):-open(Fields),steps(Fields),nl,menu.
 
do('0').
 
do(_):-write("Neverniy punkt menu"),nl,nl,menu.

@blackbanny · 27.12.2010, 18:22 **[ТС]**

Грымзик, спасибо)))
извеняюсь за наглость, а можете помочь вот с этой темой

Новые блоги и статьи Все статьи Все блоги /
Установка нескольких штампов электронной подписи в строго определенных местах файла docx ВладимирСамохин 19.07.2026 (В!) Работа с Электронной подписью - это неотъемлемая часть современного документооборота. Но что делать, если нужно поставить несколько штампов электронной подписи в строго определенных местах. . .	сукцессия 35. Научная статья о проделанной работе anaschu 19.07.2026 Написал в формате латекс и пдф	Вангую, что это не пройдёт модерацию, и на неделе я запущу свой сервер. Hrethgir 19.07.2026 Эта публикация сейчас в песочнице и ждёт приглашения. https:/ / habr. com/ ru/ sandbox/ 295048/ начало и оглавление - Как «пернатого» заставить осваивать новые горизонты опыта через масштабирование. . .	сукцессия 33. открытые вопросы от клауде anaschu 19.07.2026 "Что накопилось за эту часть А — тринадцать правок, из которых шесть пришли из ваших вопросов и каждая оказалась реальной ошибкой, а не калибровкой: односторонний симбиоз, отсутствующий листопад,. . .
32 сукцессия anaschu 19.07.2026 сукцессия 28‑мерное ядро стабилизировано Коллеги, фиксирую разбор инженерных правок и их изоморфную проекцию на экономику, меметику и половой отбор. Модель теперь не «подкручивает» сходимость —. . .	сукцессия 31: модель микоризы - это модель ещё нескольких явлений, социальных и экономических anaschu 18.07.2026 Теория «Всего»: апдейт v1. 1. 2 — 28‑мерное ядро стабилизировано Коллеги, фиксирую разбор инженерных правок и их изоморфную проекцию на экономику, меметику и половой отбор. Модель теперь не. . .	сукцессия 30. Массив проверяющих друг друга моделей anaschu 18.07.2026 Архитектура сети взаимопроверяющих моделей микоризной сукцессии (v2. 0) Развитие тензорного ОДУ-ядра и создание кросс-платформенного калибровочного полигона Уважаемые коллеги! В продолжение. . .	Грибы - это женщины, деревья - это мужчины. Анти инь янь для союза мужчины и женщины. anaschu 18.07.2026 ГЛАВНЫЙ НАУЧНО-ФИЛОСОФСКИЙ ВЫВОД: Сексуально-Репродуктивный Капитализм против Государства Моногамии Коллеги, мы вышли на финишную прямую 20-мерного ОДУ-моделирования вековой сукцессии (ветка. . .

@blackbanny 130 / 117 / 30 Регистрация: 14.11.2010 Сообщений: 707

	игра Хитори 14.12.2010, 18:40. Показов 4618. Ответов 39 Метки нет (Все метки) ребят есть у кого нибудь программа игры Хитори, хоть что то, а то сроки поджимают, не успеваю сделать... =( 1

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	25.12.2010, 02:07
	Нет, вот если бы было например [a(1,1,1),a(-5,1,2),a(-3,2,1),a(7,2,2)], то клетку с координатам (1,1) можно считать изолированной от клетки (2,2), поскольку как бы я вправо-влево, вверх-вниз не двигалась, я не смогла бы от первой ко второй прийти (я думаю, что подразумевается, что по диагонали ходить нельзя). Если хотите, чтобы и по диагонали можно было ходить, то дополните предикат ryadom. А net_bolshe_povtoryayushihsya(Fields) как раз надо писать, я такой проверки не сделала. 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	25.12.2010, 02:47
	А что она по-Вашему должна вывести? Она ничего не зачеркнет, т.к повторение есть только во втором столбце. Там надо зачеркнуть одну из шестерок, но ее не с чем зачеркнуть, т.к все другие элементы не повторяются. Т.е у нас получилось все поле не зачеркнуто, но сдвоенная цифра осталась. Значит нет решения. Добавлено через 3 минуты Еще обратите внимание, что я предикат "повторяющиеся" немного изменила. 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	25.12.2010, 03:13
	А, ну да, я перепутала, я думала, что надо сразу по две вычеркивать, которые по диагонали располагаются, сейчас исправлю. 0

@blackbanny 130 / 117 / 30 Регистрация: 14.11.2010 Сообщений: 707
	25.12.2010, 03:31 [ТС]
	большой спасибо, сейчас попробую написать вывод в виде нормального поля и проверить для этого случая [a(4,1,1),a(7,1,2),a(7,1,3),a(3,1,4),a(6, 1,5),a(8,1,6),a(2,1,7),a(5,1,8),a(7,2,1) ,a(5,2,2),a(8,2,3),a(1,2,4),a(4,2,5),a(7 ,2,6),a(6,2,7),a(5,2,8),a(5,3,1),a(1,3,2 ),a(4,3,3),a(8,3,4),a(8,3,5),a(7,3,6),a( 3,3,7),a(3,3,8),a(3,4,1),a(3,4,2),a(3,4, 3),a(4,4,4),a(1,4,5),a(7,4,6),a(7,4,7),a (8,4,8),a(1,5,1),a(4,5,2),a(2,5,3),a(7,5 ,4),a(5,5,5),a(5,5,6),a(3,5,7),a(8,5,8), a(3,6,1),a(2,6,2),a(5,6,3),a(6,6,4),a(7, 6,5),a(1,6,6),a(2,6,7),a(4,6,8),a(4,7,1) ,a(8,7,2),a(2,7,3),a(2,7,4),a(2,7,5),a(3 ,7,6),a(1,7,7),a(6,7,8),a(2,8,1),a(4,8,2 ),a(1,8,3),a(6,8,4),a(5,8,5),a(8,8,6),a( 8,8,7),a(8,8,8)] =))) Добавлено через 7 минут а вот по поводу вывода, у нас же порядок координат сбивается, после выполнения программы, т.е. если бежать по списку последовательно, то нельзя будет вывести поле правильно... можно же записать список в БД, например bd(c,i,j), а потом из БД вытягивать элементы по полям, т.е. вытягиваем построчно, сначала пишем i=1 и печатаем все цифры для элементов базы с параметром i=1, потом увеличиваем i, переходим на другую строку и рекурсивно вызываем тот же предикат? или можно как то попроще? 0

@blackbanny 130 / 117 / 30 Регистрация: 14.11.2010 Сообщений: 707
	25.12.2010, 03:57 [ТС]
	спасибо еще раз))) 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	25.12.2010, 04:09
	И измените - на + в 43 строке. 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	27.12.2010, 17:04
	Решения наверно все же разные? Визуал пролог ищет все возможные решения, про турбо такого не знала, но значит и он тоже. 0

@blackbanny 130 / 117 / 30 Регистрация: 14.11.2010 Сообщений: 707
	27.12.2010, 18:22 [ТС]
	Грымзик, спасибо))) извеняюсь за наглость, а можете помочь вот с этой темой 0