procedure TForm1.Button1Click(Sender: TObject);
var kanibal1,kanibal2 :integer;
     misioner1,misioner2 :integer;
     k1,k2,m1,m2 :integer;
     lodka_kanibal,lodka_misioner :integer;
     max_lodka :integer;
     Label N1,N2,N3;
begin
randomize;
Memo1.Clear;
kanibal1 := StrToInt(Edit1.Text);
misioner1 := StrToInt(Edit2.Text);
max_lodka := StrToInt(Edit3.Text);
kanibal2 := 0;
misioner2 := 0;
Memo1.Lines.Add('1-й остров: Канибалов:'+IntToStr(kanibal1)+' Мисионеров:'
                +IntToStr(misioner1)+' 2-й остров: Канибалов:'+IntToStr(kanibal2)
                +' Мисионеров:'+IntToStr(misioner2));

N1:
lodka_kanibal := random(kanibal1+1);
lodka_misioner := random(misioner1+1);
if (lodka_kanibal+lodka_misioner>max_lodka)or
    (lodka_kanibal+lodka_misioner=0) then goto N1;
k1 := kanibal1-lodka_kanibal;
m1 := misioner1-lodka_misioner;
if (k1>m1)and(m1<>0) then goto N1;
if (kanibal2+lodka_kanibal>misioner2+lodka_misioner)
     and (misioner2+lodka_misioner<>0) then goto N1;
kanibal1 := k1;
misioner1 := m1;

kanibal2 := kanibal2+lodka_kanibal;
misioner2 := misioner2+lodka_misioner;
Memo1.Lines.Add('Перевозка с 1-го на 2-й остров:');
Memo1.Lines.Add('1-й остров: Канибалов:'+IntToStr(kanibal1)+' Мисионеров:'
                +IntToStr(misioner1)+' Лодка: Канибалов:'+IntToStr(lodka_kanibal)
              +' Мисионеров: '+IntToStr(lodka_misioner)+' 2-й остров: Канибалов:'
                 +IntToStr(kanibal2)+' Мисионеров:'+IntToStr(misioner2));
if (kanibal2=StrToInt(Edit1.Text))
    and (misioner2=StrToInt(Edit2.Text)) then goto N3;

N2:
lodka_kanibal := random(kanibal2+1);
lodka_misioner := random(misioner2+1);
if (lodka_kanibal+lodka_misioner>max_lodka)or
    (lodka_kanibal+lodka_misioner=0) then goto N2;
k2 := kanibal2-lodka_kanibal;
m2 := misioner2-lodka_misioner;
if (k2>m2)and(m2<>0) then goto N2;
if (kanibal1+lodka_kanibal>misioner1+lodka_misioner)
     and (misioner1+lodka_misioner<>0) then goto N2;
kanibal2 := k2;
misioner2 := m2;
kanibal1 := kanibal1+lodka_kanibal;
misioner1 := misioner1+lodka_misioner;
Memo1.Lines.Add('Перевозка со 2-го на 1-й остров:');
Memo1.Lines.Add('1-й остров: Канибалов:'+IntToStr(kanibal1)+' Мисионеров:'
                +IntToStr(misioner1)+' Лодка: Канибалов:'+IntToStr(lodka_kanibal)
              +' Мисионеров: '+IntToStr(lodka_misioner)+' 2-й остров: Канибалов:'
                 +IntToStr(kanibal2)+' Мисионеров:'+IntToStr(misioner2));
goto N1;

N3:
Memo1.Lines.Add('Перевозка завершена');

end;

type
   TMatr = array [1..8,1..8] of integer;

procedure ISK(new_i,new_j:integer; out mass_isk:TMatr);
var k1,k2 :integer;
     Label N1,N2,N3,N4,N5,N6,N7,N8;
begin
k1 := new_i;
k2 := new_j;
N2:
if (k1>8)or(k2>8) then goto N1;
mass_isk[k1,k2] := 1;
k1 := k1+1;
k2 := k2+1;
goto N2;
N1:
k1 := new_i;
k2 := new_j;
N4:
if (k1=0)or(k2=0) then goto N3;
mass_isk[k1,k2] := 1;
k1 := k1-1;
k2 := k2-1;
goto N4;
N3:
k1 := new_i;
k2 := new_j;
N6:
if (k1>8)or(k2=0) then goto N5;
mass_isk[k1,k2] := 1;
k1 := k1+1;
k2 := k2-1;
goto N6;
N5:
k1 := new_i;
k2 := new_j;
N8:
if (k1=0)or(k2>8) then goto N7;
mass_isk[k1,k2] := 1;
k1 := k1-1;
k2 := k2+1;
goto N8;
N7:
end;

procedure TForm1.Button1Click(Sender: TObject);
var i,j :integer;
     mtr_f :TMatr;
     mass_isk :TMatr;
     count_f :integer;
     new_i,new_j :integer;
     k,t :integer;
     Label N1,N2;
begin
randomize;
Memo1.Clear;
N2:
count_f := 0;
k := 0;
t := 0;
for i:=1 to 8 do
   begin
   for j:=1 to 8 do
     begin
     mtr_f[i,j] := 0;
     mass_isk[i,j] := 0;
     end;
   end;
N1:
new_i := random(9);
new_j := random(9);
t := t+1;
if t=100 then
   begin
   Memo1.Lines.Add('Превышен интервал выбора. Все сначала');
   goto N2;
   end;
if (new_i=0)or(new_j=0)
     or(mass_isk[new_i,new_j]=1) then goto N1;
mtr_f[new_i,new_j] := 1;
count_f := count_f+1;
Memo1.Lines.Add('Выбрано положение '+IntToStr(count_f)+' ферзя');
for i:=1 to 8 do
   begin
   mass_isk[i,new_j] := 1;
   mass_isk[new_i,i] := 1;
   end;
ISK(new_i,new_j,mass_isk);
for i:=1 to 8 do
   begin
   for j:=1 to 8 do
     begin
     if mass_isk[i,j]=1 then k := k+1;
     end;
   end;
if (count_f<>8)and(k=64) then goto N2;
if count_f<8 then goto N1;
Memo1.Lines.Add('Выбора положения 8 ферзей закончен. Вывод результатов');
for i:=1 to 8 do
   begin
   for j:=1 to 8 do
     begin
     StringGrid1.Cells[j-1,i-1] := IntToStr(mtr_f[i,j]);
     end;
   end;
end;

*  true.ref

* Missionaries and Cannibals

$ENTRY Go {
   = <Prout <MissCann (( ) ('mmmccc') ( ))  
                      (CC C CC C MM MC MM C CC M MC)>> <Card >;
}

*  Start
MissCann {
   (e.left) (MM e.path) =  
          <Miss (MM) (<Move MM L (e.left) (( ) ( ) ( ))>) (e.path)>;

   (e.left) (MC e.path) =  
          <Miss (MC) (<Move MC L (e.left) (( ) ( ) ( ))>) (e.path)>;

   (e.left) (CC e.path) =  
          <Miss (CC) (<Move CC L (e.left) (( ) ( ) ( ))>) (e.path)>;

   (e.left) (M  e.path) =  
          <Miss (M ) (<Move M  L (e.left) (( ) ( ) ( ))>) (e.path)>;

   (e.left) (C  e.path) =  
          <Miss (C ) (<Move C  L (e.left) (( ) ( ) ( ))>) (e.path)>;
  }

Miss {
  (s.last) (s.l (Imposs) (e.right)) (e.path) = Imposs;
  (s.last) (s.l (e.left) (Imposs )) (e.path) = Imposs;

* (s.last) (R (( ) ( ) ( ))    (e.right)) (e.path) = T ;
  (s.last) (R (( ) ( ) ( ))    (e.right)) (e.path) = T (e.path);

* (s.last) (s.l (e.left) (e.right)) ( ) = F s.l (e.right);
  (s.last) (s.l (e.left) (e.right)) ( ) = <RI >;

  (MM) (s.l (e.left) (e.right)) (MM e.path) = <Repeat >;
  (MC) (s.l (e.left) (e.right)) (MC e.path) = <Repeat >;
  (CC) (s.l (e.left) (e.right)) (CC e.path) = <Repeat >;
  (M ) (s.l (e.left) (e.right)) (M  e.path) = <Repeat >;
  (C ) (s.l (e.left) (e.right)) (C  e.path) = <Repeat >;

  (s.last) (s.l (e.left) (e.right)) (MM e.path) =  
       <Miss (MM) (<Move MM s.l (e.left) (e.right)>) (e.path)>;

  (s.last) (s.l (e.left) (e.right)) (MC e.path) =  
       <Miss (MC) (<Move MC s.l (e.left) (e.right)>) (e.path)>;

  (s.last) (s.l (e.left) (e.right)) (CC e.path) =  
       <Miss (CC) (<Move CC s.l (e.left) (e.right)>) (e.path)>;

  (s.last) (s.l (e.left) (e.right)) (M  e.path) =  
       <Miss (M ) (<Move M  s.l (e.left) (e.right)>) (e.path)>;

  (s.last) (s.l (e.left) (e.right)) (C  e.path) =  
       <Miss (C ) (<Move C s.l (e.left) (e.right)>) (e.path)>;
  }

RI     { RI = RI; }
Repeat { Repeat = Repeat; }

Move {
* Boat on left bank
   s.l L (e.left) (e.right) = R (<Minus s.l e.left>) (<Plus  s.l e.right>);
* Boat on right bank
   s.l R (e.left) (e.right) = L (<Plus  s.l e.left>) (<Minus s.l e.right>);
  }

Minus {
* MM crossing
    MM  (e.m 'mm') (e.p) ( ) = (e.m) (e.p) ( );
    MM  ( ) ('mmcc') ( ) = ( ) ( ) ('cc');
    MM  ('m') ('mc') ( ) = ( ) ( ) ('c');
* CC crossing
    CC  ( ) ( ) ('cc' e.c) = ( ) ( ) (e.c);
    CC  (e.m) ('mm' e.p 'cc') ( ) = (e.m 'mm') (e.p) ( );
* MC crossing
    MC  (e.m) ('m' e.p 'c') ( ) = (e.m) (e.p) ( );
* M crossing
    M   ( ) ('mc') ( ) = ( ) ( ) ('c');
    M   (e.m 'm') (e.p) ( ) = (e.m) (e.p) ( );
* C crossing
    C   ( ) ( ) ('c' e.c) = ( ) ( ) (e.c);
    C   (e.m) ('m' e.p 'c') ( ) = (e.m 'm') (e.p) ( );
  }

Plus {
* MM crossing
    MM  ( ) ( ) ('cc') = ( ) ('mmcc') ( );
    MM  ( ) ( ) ('c')  = ('m') ('mc') ( );
    MM  (e.m) (e.p) ( ) = (e.m 'mm') (e.p) ( );
* CC crossing
    CC  (e.m 'mm') (e.p) ( ) = (e.m) ('mm' e.p 'cc') ( );
    CC  ( ) ( ) (e.c)  = ( ) ( ) ('cc' e.c);
* MC crossing
    MC  (e.m) (e.p) ( ) = (e.m) ('m' e.p 'c') ( );
* M crossing
    M  ( ) ( ) ('c') = ( ) ('mc') ( );
    M  (e.m) (e.p) ( ) = (e.m 'm') ( e.p) ( );
* C crossing
    C  (e.m 'm') (e.p) ( ) = (e.m) ('m' e.p 'c') ( );
    C  ( ) ( ) (e.c) = ( ) ( ) ('c' e.c);
  }

<MissCann (( ) ('mmmccc') ( )) (e.path)>;

       Суперкомпилятор строит программу/*
$ENTRY Go {
  = <Prout <P31 e.path >> ;
}
*/

P31 {
  MC e.1  , <F19 e.1 >:e.118  = T (e.118 ) ;
  CC e.1  , <F251 e.1 >:e.136  = T (e.136 ) ;
}

F251 {
  C CC C MM MC MM C CC M MC e.1  = e.1 ;
  C CC C MM MC MM C CC C CC e.1  = e.1 ;
  C M MC CC e.1  = <F251 e.1 > ;
}

F19 {
  M CC C MM MC MM C CC M MC e.1  = e.1 ;
  M CC C MM MC MM C CC C CC e.1  = e.1 ;
  M C CC MC e.1  = <F19 e.1 > ;
}