Задача из "101 головоломка" PROLOG

[emoface]

Здравствуйте. Есть интересная загадка про 13 мышей, её нужно написать на ПРОЛОГЕ:
Все 13 мышей, окружающие кошку, обречены попасть ей на обед. Но кошка желает съесть их в определённом порядке: каждый раз она отсчитывает по часовой стрелке 13-ю, и съедает её.
С какой мыши она должна начать, чтобы белая оказалась съеденной последней?

В решениях сказано, что нужно начать с мышки, которая возле хвоста. Но очевидно, что нужно осуществить некий перебор событий, начиная с разных мышек и приходя к тому, что белая мышь будет последней съеденной. Как осуществить этот перебор на ПРОЛОГЕ? Ну, или решить по другому. Помогите, пожалуйста.
Всем добра и с первым днём весны

[Serge_Bliznykov]

а это не классическая задача Иосифа Флавия ?
см. Задача Иосифа Флавия или считалка Джозефуса — известная математическая задача с историческим подтекстом.

[Аватар]

На прологе не, ни капли. Могу подкинуть делфийское решение для любого количества мышей и шага обреченности ))

[emoface]

Сообщение от Аватар

На прологе не, ни капли. Могу подкинуть делфийское решение для любого количества мышей и шага обреченности ))

Давайте, будет круто)))

Но вообще если кто-то сможет воспроизвести это на прологе - будет очень и очень благодарен

[Аватар]

function CalcFirstNumber(Count,Step: Integer): Integer;
type PMyRecord = ^TMyRecord;
     TMyRecord = record
       Number: Integer;
       Next: PMyRecord;
     end;
var i: Integer;
    p0,p1,p2: PMyRecord;
begin
  for i:=1 to Count do begin
    New(p1);
    if i=1 then p0:=p1 else p2.Next:=p1;
    p1.Number:=i;
    p1.Next:=p0;
    p2:=p1;
  end;

  while p0<>p0.Next do begin
    for i:=2 to Step do begin p1:=p0; p0:=p0.Next; end;
    p1.Next:=p0.Next;
    Dispose(p0);
    p0:=p1.Next;
  end;

  Result:=p0.Number;
  Dispose(p0);
end;

procedure TForm1.Button1Click(Sender: TObject);
var Count,Step: Integer;
begin
  Count:=13; // > 1
  Step:=13;  // > 1
  //нумерация с 1 и белой мыши по часовой стрелке
  Edit1.Text:=IntToStr(((Count+1-CalcFirstNumber(Count,Step)) mod Step)+1);
end;

Название функции не фонтан, ближе к телу было бы CalcLastNumber. И вообще лучше было бы окончательный расчет, который в Button1Click засунуть в функцию

[emoface]

Переписал на Java. В общем здесь захардкодил под свою лог.задачу, индекс мыши с который нужно начать(killIdx) = 6. Если кто вдруг шарит джаву и/или пролог, помогите это осуществить на нём.

import java.util.ArrayList;

public class Main {
    public static void main(String[] args) {
        System.out.println("Count of mouses: " + Josephus.execute(14, 1));
        System.out.println("Still alive: " + Josephus.executeAllButM(13, 13, 1));
    }
}

class Josephus {
    public static int execute(int n, int k) {
        int killIdx = 0;
        ArrayList<Integer> prisoners = new ArrayList<Integer>(n);
        for (int i = 0; i < n; i++) {
            prisoners.add(i);
        }
        System.out.println("Mouses order:");
        while (prisoners.size() > 1) {
            killIdx = (killIdx + k - 1) % prisoners.size();
            System.out.print(prisoners.get(killIdx) + " ");
            prisoners.remove(killIdx);
        }
        System.out.println();
        return prisoners.get(0);
    }

    public static ArrayList<Integer> executeAllButM(int n, int k, int m) {
        int killIdx = 6;
        ArrayList<Integer> prisoners = new ArrayList<Integer>(n);
        for (int i = 0; i < n; i++) {
            prisoners.add(i);
        }
        System.out.println("Mouses killed in order:");
        while (prisoners.size() > m) {
            killIdx = (killIdx + k - 1) % prisoners.size();
            System.out.print(prisoners.get(killIdx) + " ");
            prisoners.remove(killIdx);
        }
        System.out.println();
        return prisoners;
    }
}

Ещё нашёл реализацию на прологе в соседних форумах, но здесь есть какой-то косяк и я не понимаю где он и как поправить.

main:-read(L), read(M), read(N), joseph(L, M, N).
joseph(L, M, N):-N =/= 0, del()
del([], _, _).
del([H|T], M, R):- M =:= 0, M1 is M - 1, writeln(H), del(T, M1, R).
del([H|T], M, [H|R]):- M =/= 0, M1 is M - 1, del(T, M1, R)

[emoface]

Привет ещё раз. Сделал прошлую задачу, теперь мне нужно реализовать новую и тут я вообще без понятия как это сделать.
Помогите, пожалуйста.
Муха на занавеске

На оконной занавеске с рисунком в клетку уселись 9 мух. Случайно они расположились так, что никакие две мухи не оказались в одном и том же ряду — ни прямом, ни косом (рис.)

Спустя несколько минут три мухи сменили места и переползли в соседние, незанятые клетки; остальные 6 не двигались. Но забавно: хотя три мухи перешли на другие места, все 9 снова оказались размещенными так, что никакая пара не находилась в одном прямом или косом ряду. Можете ли вы сказать, какие три мухи и куда пересели?
Ответ: a6->b6, b3->a4, d4->d3, но нужно реализовать на SWI Prolog.

[emoface]

Если есть идеи, как это возможно решить, просьба поделиться ими, пожалуйста

[Аватар]

В циклах прямым перебором не катит? Вполне решаемо - вариантов выборки трех мух 74, у трех мух вариантов новых клеток 512 или меньше, если муха на краю или достаточно близко от другой.

[evg_m]

Можете ли вы сказать, какие три мухи и куда пересели?

нет. это могут быть почти любые.
одна(ЛЮБАЯ) по диагонали(любой из доступных). Ответ: a6->b6, b3->a4, d4->d3
другая с вновь занятой горизонтали на освободившуюся Ответ: a6->b6, b3->a4, d4->d3
третья с вновь занятой вертикали также на освободившуюся Ответ: a6->b6, b3->a4, d4->d3.
число возможных вариантов <=9(мух)*4(диагонали по максимуму)