Ïðîãðàììèðîâàíèå íà ÿçûêå ÏÐÎËÎÃ äëÿ èñêóñòâåííîãî èíòåëëåêòà

       

Ïðîöåäóðíàÿ ñåìàíòèêà


Ïðîöåäóðíàÿ ñåìàíòèêà îïðåäåëÿåò, êàê ïðîëîã-ñèñòåìà îòâå÷àåò íà âîïðîñû. Îòâåòèòü íà âîïðîñ - ýòî çíà÷èò óäîâëåòâîðèòü ñïèñîê öåëåé. Ýòîãî ìîæíî äîáèòüñÿ, ïðèïèñàâ âñòðå÷àþùèìñÿ ïåðåìåííûì çíà÷åíèÿ òàêèì îáðàçîì, ÷òîáû öåëè ëîãè÷åñêè ñëåäîâàëè èç ïðîãðàììû. Ìîæíî ñêàçàòü, ÷òî ïðîöåäóðíàÿ ñåìàíòèêà Ïðîëîãà - ýòî ïðîöåäóðà âû÷èñëåíèÿ ñïèñêà öåëåé ñ ó÷åòîì çàäàííîé ïðîãðàììû. "Âû÷èñëèòü öåëè" ýòî çíà÷èò ïîïûòàòüñÿ äîñòè÷ü èõ.

Íàçîâåì ýòó ïðîöåäóðó âû÷èñëèòü. Êàê ïîêàçàíî íà ðèñ. 2.9, âõîäîì è âûõîäîì ýòîé ïðîöåäóðû ÿâëÿþòñÿ:

    âõîäîì - ïðîãðàììà è ñïèñîê öåëåé,
    âûõîäîì - ïðèçíàê óñïåõ/íåóñïåõ è ïîäñòàíîâêà ïåðåìåííûõ.

Ðèñ. 2. 9.  Âõîäû è âûõîäû ïðîöåäóðû âû÷èñëåíèÿ ñïèñêà öåëåé.

Ñìûñë äâóõ ñîñòàâëÿþùèõ âûõîäà òàêîé:

(1)    Ïðèçíàê óñïåõ/íåóñïåõ ïðèíèìàåò çíà÷åíèå "äà", åñëè öåëè äîñòèæèìû, è "íåò" - â ïðîòèâíîì ñëó÷àå. Áóäåì ãîâîðèòü, ÷òî "äà" ñèãíàëèçèðóåò îá óñïåøíîì çàâåðøåíèè è "íåò" - î íåóñïåõå.

(2)    Ïîäñòàíîâêà ïåðåìåííûõ ïîðîæäàåòñÿ òîëüêî â ñëó÷àå óñïåøíîãî çàâåðøåíèÿ; â ñëó÷àå íåóñïåõà ïîäñòàíîâêà îòñóòñòâóåò.

line();

ÏÐÎÃÐÀÌÌÀ



áîëüøîé( ìåäâåäü).                % Ïðåäëîæåíèå 1
áîëüøîé( ñëîí).                       % Ïðåäëîæåíèå 2
ìàëåíüêèé( êîò).                    % Ïðåäëîæåíèå 3
êîðè÷íåâûé ( ìåäâåäü).        % Ïðåäëîæåíèå 4
÷åðíûé ( êîò).                         % Ïðåäëîæåíèå 5
ñåðûé( ñëîí).                           % Ïðåäëîæåíèå 6




ÐÅËÌØÈ( Z) :-                           % îÏÅÄÊÍÔÅÌÕÅ 7:
           ÂÅÏÌØÈ( Z).                   % Ê×ÀÍÈ ÂÅÏÌØÈ
                                                   % ÍÀÇÅÉÐ ÚÁÊÚÅÐßÚ ÐÅËÌØË
ÐÅËÌØÈ( Z) :-                           % îÏÅÄÊÍÔÅÌÕÅ 8:
           ÉÍÏÕÂÌÅÁØÈ( Z).           % ê×ÀÍÈ ÉÍÏÕÂÌÅÁØÈ
                                                    % ÍÀÇÅÉÐ ÚÁÊÚÅÐßÚ ÐÅËÌØË

áíîïíÿ

?-  ÐÅËÌØÈ( X), ÀÍÊÝÜÍÈ( X)    % éÐÍ ÍÄÌÍÁÏÅËÅÌÌÍ ÐÅËÌØÈ
                                                     % Õ ÀÍÊÝÜÍÈ?

üþöõ  áøâõÿêåìõú

(1)    õßÓÍÄÌØÈ ßÎÕßÍÉ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ:

            ÐÅËÌØÈ( X),  ÀÍÊÝÜÍÈ( X).

(2)    îÏÍßËÍÐÏ ÁßÅÈ ÎÏÍÖÏÞËËØ ÍÐ ÌÞÂÞÊÞ É ÉÍÌÆÑ Õ ÎÍÕßÉ ÎÏÅÄÊÍÔÅÌÕÚ, Ñ ÉÍÐÍÏÍÖÍ ÖÍÊÍÁÞ ßÍÎÍßÐÞÁÕËÞ ß ÎÅÏÁØË ÆÅÊÅÁØË ÑÐÁÅÏÔÄÅÌÕÅË



            ÐÅËÌØÈ( X).

        ìÞÈÄÅÌÞ ÒÍÏËÑÊÞ 7:

            ÐÅËÌØÈ( Z) :- ÂÅÏÌØÈ( Z).

ãÞËÅÌÞ ÎÅÏÁÍÖÍ ÆÅÊÅÁÍÖÍ ÑÐÁÅÏÔÄÅÌÕÚ ÉÍÌÉÏÅÐÕÃÕÏÍÁÞÌÌØË ÐÅÊÍË ÎÏÅÄÊÍÔÅÌÕÚ 7 - ÎÍÏÍÔÄÅÌÕÅ ÌÍÁÍÖÍ ßÎÕßÉÞ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ.

            ÂÅÏÌØÈ( X),  ÀÍÊÝÜÍÈ( X)

(3)    îÏÍßËÍÐÏ ÎÏÍÖÏÞËËØ ÄÊÚ ÌÞÓÍÔÄÅÌÕÚ ÎÏÅÄÊÍÔÅÌÕÚ, ßÍÎÍßÐÞÁÕËÍÖÍ ß ÂÅÏÌØÈ( X). ìÞÈÄÅÌÍ ÎÏÅÄÊÍÔÅÌÕÅ 5: ÂÅÏÌØÈ ( ÉÍÐ). ñ ÙÐÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ ÌÅÐ ÐÅÊÞ, ÎÍÙÐÍËÑ ßÎÕßÍÉ ÆÅÊÅÈ ÎÏÕ ßÍÍÐÁÅÐßÐÁÑ×ÛÅÈ ÉÍÌÉÏÅÐÕÃÞÆÕÕ ßÍÉÏÞÛÞÅÐßÚ ÄÍ

            ÀÍÊÝÜÍÈ( ÉÍÐ)

(4)    îÏÍßËÍÐÏ ÎÏÍÖÏÞËËØ Á ÎÍÕßÉÞÓ ÆÅÊÕ ÀÍÊÝÜÍÈ( ÉÍÐ). ìÕ ÍÄÌÍ ÎÏÅÄÊÍÔÅÌÕÅ ÌÅ ÌÞÈÄÅÌÍ. îÍÙÐÍËÑ ÎÏÍÕßÓÍÄÕÐ ÁÍÃÁÏÞÐ É ÜÞÖÑ (3) Õ ÍÐËÅÌÞ ÉÍÌÉÏÅÐÕÃÞÆÕÕ ó = ÉÍÐ. ÿÎÕßÍÉ ÆÅÊÅÈ ÐÅÎÅÏÝ ßÌÍÁÞ

            ÂÅÏÌØÈ( X),  ÀÍÊÝÜÍÈ( X)

îÏÍÄÍÊÔÅÌÕÅ ÎÏÍßËÍÐÏÞ ÎÏÍÖÏÞËËØ ÌÕÔÅ ÎÏÅÄÊÍÔÅÌÕÚ 5. ìÕ ÍÄÌÍ ÎÏÅÄÊÍÔÅÌÕÅ ÌÅ ÌÞÈÄÅÌÍ. îÍÙÐÍËÑ ÁÍÃÁÏÞÐ É ÜÞÖÑ (2) Õ ÎÏÍÄÍÊÔÅÌÕÅ ÎÏÍßËÍÐÏÞ ÌÕÔÅ ÎÏÅÄÊÍÔÅÌÕÚ 7. ìÞÈÄÅÌÍ ÎÏÅÄÊÍÔÅÌÕÅ (8):

           ÐÅËÌØÈ( Z) :- ÉÍÏÕÂÌÅÁØÈ( Z).

ãÞËÅÌÞ ÎÅÏÁÍÈ ÆÅÊÕ Á ßÎÕßÉÅ ÌÞ ÉÍÏÕÂÌÅÁØÈ( ó), ÂÐÍ ÄÞÅÐ

           ÉÍÏÕÂÌÅÁØÈ( X), ÀÍÊÝÜÍÈ( X)

(5)    îÏÍßËÍÐÏ ÎÏÍÖÏÞËËØ ÄÊÚ ÍÀÌÞÏÑÔÅÌÕÚ ÎÏÅÄÊÍÔÅÌÕÚ, ßÍÎÍßÐÞÁÕËÍÖÍ ÉÍÏÕÂÌÅÁØÈ( X). ìÞÈÄÅÌÍ ÎÏÅÄÊÍÔÅÌÕÅ ÉÍÏÕÂÌÅÁØÈ( ËÅÄÁÅÄÝ). ñ ÙÐÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ ÌÅÐ ÐÅÊÞ, ÎÍÙÐÍËÑ ßÎÕßÍÉ ÆÅÊÅÈ ÑËÅÌÝÜÞÅÐßÚ ÄÍ

            ÀÍÊÝÜÍÈ( ËÅÄÁÅÄÝ)

(6)    îÏÍßËÍÐÏ ÎÏÍÖÏÞËËØ Õ ÍÀÌÞÏÑÔÅÌÕÅ ÎÏÅÄÊÍÔÅÌÕÚ ÀÍÊÝÜÍÈ( ËÅÄÁÅÄÝ). ñ ÌÅÖÍ ÌÅÐ ÐÅÊÞ, ÎÍÙÐÍËÑ ßÎÕßÍÉ ÆÅÊÅÈ ßÐÞÌÍÁÕÐßÚ ÎÑßÐØË. ùÐÍ ÑÉÞÃØÁÞÅÐ ÌÞ ÑßÎÅÜÌÍÅ ÃÞÁÅÏÜÅÌÕÅ, Þ ßÍÍÐÁÅÐßÐÁÑ×ÛÞÚ ÉÍÌÉÏÅÐÕÃÞÆÕÚ ÎÅÏÅËÅÌÌØÓ ÐÞÉÍÁÞ:



line(); ïÕß. 2. 10.  îÏÕËÅÏ, ÕÊÊ×ßÐÏÕÏÑ×ÛÕÈ ÎÏÍÆÅÄÑÏÌÑ× ßÅËÞÌÐÕÉÑ
      îÏÍÊÍÖÞ: ÜÞÖÕ ÁØÂÕßÊÅÌÕÈ, ÁØÎÍÊÌÚÅËØÓ ÎÏÍÆÅÄÑÏÍÈ ÁØÂÕßÊÕÐÝ.

á ÖÊÞÁÅ 1 Á ÏÞÃÄ. "éÞÉ ÎÏÍÊÍÖ- ßÕßÐÅËÞ ÍÐÁÅÂÞÅÐ ÌÞ ÁÍÎÏÍßØ" ËØ ÑÔÅ ÒÞÉÐÕÂÅßÉÕ ÏÞßßËÍÐÏÅÊÕ, ÂÐÍ ÄÅÊÞÅÐ ÎÏÍÆÅÄÑÏÞ ÁØÂÕßÊÕÐÝ. á ÍßÐÞÁÜÅÈßÚ ÂÞßÐÕ ÄÞÌÌÍÖÍ ÏÞÃÄÅÊÞ ÎÏÕÁÍÄÕÐßÚ ÌÅßÉÍÊÝÉÍ ÀÍÊÅÅ ÒÍÏËÞÊÝÌÍÅ Õ ßÕßÐÅËÞÐÕÂÅßÉÍÅ ÍÎÕßÞÌÕÅ ÙÐÍÖÍ ÎÏÍÆÅßßÞ, ÉÍÐÍÏÍÅ ËÍÔÌÍ ÎÏÍÎÑßÐÕÐÝ ÀÅà ßÅÏÝÅÃÌÍÖÍ ÑÛÅÏÀÞ ÄÊÚ ÎÍÌÕËÞÌÕÚ ÍßÐÞÊÝÌÍÖÍ ËÞÐÅÏÕÞÊÞ ÉÌÕÖÕ.

éÍÌÉÏÅÐÌØÅ ÍÎÅÏÞÆÕÕ, ÁØÎÍÊÌÚÅËØÅ Á ÎÏÍÆÅßßÅ ÁØÂÕßÊÅÌÕÚ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ, ÎÍÉÞÃÞÌØ ÌÞ ÏÕß. 2.10. áÍÃËÍÔÌÍ, ßÊÅÄÑÅÐ ÕÃÑÂÕÐÝ ÙÐÍÐ ÏÕßÑÌÍÉ ÎÏÅÔÄÅ, ÂÅË ÃÌÞÉÍËÕÐÝßÚ ß ÎÍßÊÅÄÑ×ÛÕË ÍÀÛÕË ÍÎÕßÞÌÕÅË.

âÐÍÀØ ÁØÂÕßÊÕÐÝ ßÎÕßÍÉ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ

        G1, G2, ..., Gm

ÎÏÍÆÅÄÑÏÞ ÁØÂÕßÊÕÐÝ ÄÅÊÞÅÐ ßÊÅÄÑ×ÛÅÅ:

line();
  • åßÊÕ ßÎÕßÍÉ ÆÅÊÅÈ ÎÑßÐ - ÃÞÁÅÏÜÞÅÐ ÏÞÀÍÐÑ ÑßÎÅÜÌÍ.
  • åßÊÕ ßÎÕßÍÉ ÆÅÊÅÈ ÌÅ ÎÑßÐ, ÎÏÍÄÍÊÔÞÅÐ ÏÞÀÍÐÑ, ÁØÎÍÊÌÚÚ (ÍÎÕßÞÌÌÑ× ÄÞÊÅÅ) ÍÎÅÏÞÆÕ× 'îïíÿëíðï'.
  • îïíÿëíðï: îÏÍßËÞÐÏÕÁÞÅÐ ÎÏÅÄÊÍÔÅÌÕÚ ÎÏÍÖÏÞËËØ ÍÐ ÌÞÂÞÊÞ É ÉÍÌÆÑ ÄÍ ÍÀÌÞÏÑÔÅÌÕÚ ÎÅÏÁÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ ÿ, ÐÞÉÍÖÍ, ÂÐÍ ÖÍÊÍÁÞ ÿ ßÍÎÍßÐÞÁÕËÞ ß ÎÅÏÁÍÈ ÆÅÊÝ× G1. åßÊÕ ÐÞÉÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ ÍÀÌÞÏÑÔÕÐÝ ÌÅ ÑÄÞÅÐßÚ, ÐÍ ÏÞÀÍÐÞ ÃÞÉÞÌÂÕÁÞÅÐßÚ ÌÅÑßÎÅÓÍË.

    åßÊÕ ÿ ÌÞÈÄÅÌÍ Õ ÕËÅÅÐ ÁÕÄ

            ì   :-   B1,  ...,   án.

    ÐÍ ÎÅÏÅËÅÌÌØÅ Á ÿ ÎÅÏÅÕËÅÌÍÁØÁÞ×ÐßÚ, ÂÐÍÀØ ÎÍÊÑÂÕÐÝ ÐÞÉÍÈ ÁÞÏÕÞÌÐ ÿ' ÎÏÅÄÊÍÔÅÌÕÚ ÿ, Á ÉÍÐÍÏÍË ÌÅÐ ÍÀÛÕÓ ÎÅÏÅËÅÌÌØÓ ßÍ ßÎÕßÉÍË  G1,   ...,  Gm. îÑßÐÝ ÿ' - ÙÐÍ

            ì'   :-   B1',  ...,   án'.

    ÿÍÎÍßÐÞÁÊÚÅÐßÚ  G1  ß  H';  ÎÑßÐÝ  S  - ÏÅÃÑÊÝÐÕÏÑ×ÛÞÚ ÉÍÌÉÏÅÐÕÃÞÆÕÚ ÎÅÏÅËÅÌÌØÓ.  á ßÎÕßÉÅ ÆÅÊÅÈ  G1,  G2,  ....  Gm, ÆÅÊÝ  G1   ÃÞËÅÌÚÅÐßÚ ÌÞ ßÎÕßÍÉ  á1',  ..,  án',   ÂÐÍ ÎÍÏÍÔÄÞÅÐ ÌÍÁØÈ ßÎÕßÍÉ ÆÅÊÅÈ:

            á1',  ...,  án', G2,  ...,   Gm



    (ãÞËÅÐÕË, ÂÐÍ, ÅßÊÕ  ÿ  - ÒÞÉÐ, ÐÍÖÄÞ  n=0,   Õ Á ÙÐÍË ßÊÑÂÞÅ ÌÍÁØÈ ßÎÕßÍÉ ÆÅÊÅÈ ÍÉÞÃØÁÞÅÐßÚ ÉÍÏÍÂÅ, ÌÅÔÅÊÕ ÕßÓÍÄÌØÈ; ÐÞÉÍÅ ÑËÅÌÝÜÅÌÕÅ ßÎÕßÉÞ ÆÅÊÅÈ ËÍÔÅÐ Á ÍÎÏÅÄÅÊÅÌÌØÓ ßÊÑÂÞÚÓ ÎÏÅÁÏÞÐÕÐÝ ÅÖÍ Á ÎÑßÐÍÈ, Þ ßÊÅÄÍÁÞÐÅÊÝÌÍ, - ÎÏÕÁÅßÐÕ É ÑßÎÅÜÌÍËÑ ÃÞÁÅÏÜÅÌÕ×.)

    îÅÏÅËÅÌÌØÅ Á ÌÍÁÍË ßÎÕßÉÅ ÆÅÊÅÈ ÃÞËÅÌÚ×ÐßÚ ÌÍÁØËÕ ÃÌÞÂÅÌÕÚËÕ, ÉÞÉ ÙÐÍ ÎÏÅÄÎÕßØÁÞÅÐ ÉÍÌÉÏÅÐÕÃÞÆÕÚ  S,  ÂÐÍ ÎÍÏÍÔÄÞÅÐ ÅÛÅ ÍÄÕÌ ßÎÕßÍÉ ÆÅÊÅÈ

            á1'',  ....  án", G2',   ...,  Gm'
  • áØÂÕßÊÚÅÐ (ÕßÎÍÊÝÃÑÚ ÏÅÉÑÏßÕÁÌÍ ÐÑ ÔÅ ßÞËÑ× ÎÏÍÆÅÄÑÏÑ) ÙÐÍÐ ÌÍÁØÈ ßÎÕßÍÉ ÆÅÊÅÈ. åßÊÕ ÅÖÍ ÁØÂÕßÊÅÌÕÅ ÃÞÁÅÏÜÞÅÐßÚ ÑßÎÅÜÌÍ, ÐÍ Õ ÁØÂÕßÊÅÌÕÅ ÕßÓÍÄÌÍÖÍ ßÎÕßÉÞ ÆÅÊÅÈ ÐÍÔÅ ÃÞÁÅÏÜÞÅÐßÚ ÑßÎÅÜÌÍ. åßÊÕ ÔÅ ÅÖÍ ÁØÂÕßÊÅÌÕÅ ÎÍÏÍÔÄÞÅÐ ÌÅÑßÎÅÓ, ÐÍÖÄÞ ÌÍÁØÈ ßÎÕßÍÉ ÆÅÊÅÈ ÍÐÀÏÞßØÁÞÅÐßÚ Õ ÎÏÍÕßÓÍÄÕÐ ÁÍÃÁÏÞÐ É ÎÏÍßËÍÐÏÑ ÎÏÍÖÏÞËËØ. ùÐÍÐ ÎÏÍßËÍÐÏ ÎÏÍÄÍÊÔÞÅÐßÚ, ÌÞÂÕÌÞÚ ß ÎÏÅÄÊÍÔÅÌÕÚ, ÌÅÎÍßÏÅÄßÐÁÅÌÌÍ ßÊÅÄÑ×ÛÅÖÍ ÃÞ ÎÏÅÄÊÍÔÅÌÕÅË  ÿ   (ÿ  -  ÎÏÅÄÊÍÔÅÌÕÅ, ÕßÎÍÊÝÃÍÁÞÁÜÅÅßÚ ÎÍßÊÅÄÌÕË) Õ ÄÅÊÞÅÐßÚ ÎÍÎØÐÉÞ ÄÍßÐÕÂÝ ÑßÎÅÜÌÍÖÍ ÃÞÁÅÏÜÅÌÕÚ ß ÎÍËÍÛÝ× ÄÏÑÖÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ.
line(); àÍÊÅÅ ÉÍËÎÞÉÐÌÞÚ ÃÞÎÕßÝ ÙÐÍÈ ÎÏÍÆÅÄÑÏØ Á ÍÀÍÃÌÞÂÅÌÕÚÓ, ÀÊÕÃÉÕÓ É îÞßÉÞÊ×, ÎÏÕÁÅÄÅÌÞ ÌÞ ÏÕß. 2.11.

ãÄÅßÝ ßÊÅÄÑÅÐ ßÄÅÊÞÐÝ ÌÅßÉÍÊÝÉÍ ÄÍÎÍÊÌÕÐÅÊÝÌØÓ ÃÞËÅÂÞÌÕÈ, ÉÞßÞ×ÛÕÓßÚ ÎÏÍÆÅÄÑÏØ ÁØÂÕßÊÕÐÝ Á ÐÍË ÁÕÄÅ, Á ÉÍÐÍÏÍË ÍÌÞ ÎÏÕÁÍÄÕÐßÚ. áÍ-ÎÅÏÁØÓ, Á ÌÅÈ ÚÁÌÍ ÌÅ ÑÉÞÃÞÌÍ, ÉÞÉ ÎÍÏÍÔÄÞÅÐßÚ ÍÉÍÌÂÞÐÅÊÝÌÞÚ ÏÅÃÑÊÝÐÕÏÑ×ÛÞÚ ÉÍÌÉÏÅÐÕÃÞÆÕÚ ÎÅÏÅËÅÌÌØÓ. ïÅÂÝ ÕÄÅÐ Í ÉÍÌÉÏÅÐÕÃÞÆÕÕ S, ÉÍÐÍÏÞÚ ÎÏÕÁÍÄÕÐ É ÑßÎÅÜÌÍËÑ ÃÞÁÅÏÜÅÌÕ× Õ ÉÍÐÍÏÞÚ, ÁÍÃËÍÔÌÍ, ÑÐÍÂÌÚÊÞßÝ ÎÍßÊÅÄÑ×ÛÕËÕ ÉÍÌÉÏÅÐÕÃÞÆÕÚËÕ ÁÍ ÁÏÅËÚ ÁÊÍÔÅÌÌØÓ ÏÅÉÑÏßÕÁÌØÓ ÁØÃÍÁÍÁ ÁØÂÕßÊÕÐÝ.

line(); procedure ÁØÂÕßÊÕÐÝ (îÏÍÖÏ, ÿÎÕßÍÉæÅÊÅÈ, ñßÎÅÓ)

áÓÍÄÌØÅ ÎÞÏÞËÅÐÏØ:

        îÏÍÖÏ:   ßÎÕßÍÉ ÎÏÅÄÊÍÔÅÌÕÈ
        ÿÎÕßÍÉæÅÊÅÈ:   ßÎÕßÍÉ ÆÅÊÅÈ

áØÓÍÄÌÍÈ ÎÞÏÞËÅÐÏ:

        ñßÎÅÓ:          ÕßÐÕÌÌÍßÐÌÍÅ ÃÌÞÂÅÌÕÅ; ñßÎÅÓ ÎÏÕÌÕËÞÅÐ ÃÌÞÂÅÌÕÅ


                               ÕßÐÕÌÞ, ÅßÊÕ ßÎÕßÍÉ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ
                               (ÕÓ ÉÍÌÇ×ÌÉÆÕÚ) ÕßÐÕÌÌÅÌ ß ÐÍÂÉÕ ÃÏÅÌÕÚ îÏÍÖÏ

êÍÉÞÊÝÌØÅ ÎÅÏÅËÅÌÌØÅ:

        æÅÊÝ:  ÆÅÊÝ
        äÏÑÖÕÅæÅÊÕ:  ßÎÕßÍÉ ÆÅÊÅÈ
        äÍßÐÕÖÌÑÐØ:   ÕßÐÕÌÌÍßÐÌÍÅ ÃÌÞÂÅÌÕÅ
        ÿÍÎÍßÐÞÁÕÊÕßÝ:   ÕßÐÕÌÌÍßÐÌÍÅ ÃÌÞÂÅÌÕÅ
        éÍÌÉÏÅÐ:   ÉÍÌÉÏÅÐÕÃÞÆÕÚ ÎÅÏÅËÅÌÌØÓ
                ì,   ì',  B1,  B1',  ...,  án ,  án':   ÆÅÊÕ

áßÎÍËÍÖÞÐÅÊÝÌØÅ ÒÑÌÉÆÕÕ:

        ÎycÐÍÈ( L):   ÁÍÃÁÏÞÛÞÅÐ ÕßÐÕÌÑ, ÅßÊÕ L - ÎÑßÐÍÈ ßÎÕßÍÉ

        ÖÍÊoÁa( L):   ÁÍÃÁÏÞÛÞÅÐ ÎÅÏÁØÈ ÙÊÅËÅÌÐ ßÎÕßÉÞ L

        ÓÁÍßÐ( L):   ÁÍÃÁÏÞÛÞÅÐ ÍßÐÞÊÝÌÑ× ÂÞßÐÝ ßÎÕßÉÞ L

        ÉÍÌÉÞÐ( L1, L2):   ßÍÃÄÞÅÐ ÉÍÌÉÞÐÅÌÞÆÕ× ßÎÕßÉÍÁ - ÎÏÕßÍÅÄÕÌÚÅÐ
                ßÎÕßÍÉ L2 É ÉÍÌÆÑ ßÎÕßÉÞ L1

        ßÍÎÍßÐÞÁÊÅÌÕÅ( T1, T2, ÿÍÎÍßÐÞÁÕÊÕßÝ, éÍÌÉÏÅÐ): ÎØÐÞÅÐßÚ
                ßÍÎÍßÐÞÁÕÐÝ ÐÅÏËØ ð1 Õ T2; ÅßÊÕ ÍÌÕ ßÍÎÍßÐÞÁÕËØ, ÐÍ
                ÿÍÎÍßÐÞÁÕÊÕßÝ - ÕßÐÕÌÞ, Þ éÍÌÉÏÅÐ ÎÏÅÄßÐÞÁÊÚÅÐ
                ßÍÀÍÈ ÉÍÌÉÏÅÐÕÃÞÆÕ× ÎÅÏÅËÅÌÌØÓ



        ÎÍÄßÐÞÁÕÐÝ( éÍÌÉÏÅÐ, æÅÊÕ): ÎÏÍÕÃÁÍÄÕÐ ÎÍÄßÐÞÌÍÁÉÑ ÎÅÏÅËÅÌÌØÓ
                Á æÅÊÕ ßÍÖÊÞßÌÍ éÍÌÉÏÅÐ

begin
    if ÎÑßÐÍÈ( ÿÎÕßÍÉæÅÊÅÈ) then ñßÎÅÓ : = ÕßÐÕÌÞ
    else
        begin

            æÅÊÝ : = ÖÍÊÍÁÞ( ÿÎÕßÍÉæÅÊÅÈ);
            äÏÑÖÕÅæÅÊÕ : = ÓÁÍßÐ( ÿÎÕßÍÉæÅÊÅÈ);
            äÍßÐÕÖÌÑÐÞ : = ÊÍÔÝ;
            while not äÍßÐÕÖÌÑÐÞ and
                " Á ÎÏÍÖÏÞËËÅ ÅßÐÝ ÅÛÅ ÎÏÅÄÊÍÔÅÌÕÚ" do
                begin
                    îÑßÐÝ ßÊÅÄÑ×ÛÅÅ ÎÏÅÄÊÍÔÅÌÕÅ Á îÏÍÖÏ ÅßÐÝ
                            ì    :-   B1,  ....  án.
                    ÿÍÃÄÞÐÝ ÁÞÏÕÞÌÐ ÙÐÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ
                            ì'    :-   á1',  ....  án'.
                    ßÍÎÍßÐÞÁÊÅÌÕÅ( æÅÊÝ, ì',
                                                    ÿÍÎÍßÐÞÁÕÊÕßÝ, éÍÌÉÏÅÐ)


                    if ÿÍÎÍßÐÞÁÕÊÕßÝ then
                        begin
                            ìÍÁØÅæÅÊÕ : =
                                ÉÍÌÉÞÐ( [á1', ..., án' ], äÏÑÖÕÅ æÅÊÕ);
                            ìÍÁØÅæÅÊÕ : =
                                ÎÍÄßÐÞÁÕÐÝ( éÍÌÉÏÅÐ, ìÍÁØÅæÅÊÕ);
                            ÁØÂÕßÊÕÐÝ( îÏÍÖÏ, ìÍÁØÅæÅÊÕ, äÍßÐÕÖÌÑÐØ)
                        end
                    end;

            ñßÎÅÓ : = äÍßÐÕÖÌÑÐØ
        end
end;


line(); ïÕß. 2. 11.  áØÂÕßÊÅÌÕÅ ÆÅÊÅÁØÓ ÑÐÁÅÏÔÄÅÌÕÈ îÏÍÊÍÖÞ.

áßÚÉÕÈ ÏÞÃ, ÉÞÉ ÏÅÉÑÏßÕÁÌØÈ ÁØÃÍÁ ÎÏÍÆÅÄÑÏØ ÁØÂÕßÊÕÐÝ ÎÏÕÁÍÄÚÐ É ÌÅÑßÎÅÓÑ, ÎÏÍÆÅßß ÁØÂÕßÊÅÌÕÈ ÁÍÃÁÏÞÛÞÅÐßÚ É îïíÿëíðïñ Õ ÎÏÍÄÍÊÔÞÅÐßÚ ß ÐÍÖÍ ÎÏÅÄÊÍÔÅÌÕÚ  ÿ,  ÉÍÐÍÏÍÅ ÕßÎÍÊÝÃÍÁÞÊÍßÝ ÎÍßÊÅÄÌÕË. îÍßÉÍÊÝÉÑ ÎÏÕËÅÌÅÌÕÅ ÎÏÅÄÊÍÔÅÌÕÚ  ÿ  ÌÅ ÎÏÕÁÅÊÍ É ÑßÎÅÜÌÍËÑ ÃÞÁÅÏÜÅÌÕ×, ÎÏÍÊÍÖ-ßÕßÐÅËÞ ÄÍÊÔÌÞ ÄÊÚ ÎÏÍÄÍÊÔÅÌÕÚ ÁØÂÕßÊÅÌÕÈ ÎÍÎÏÍÀÍÁÞÐÝ ÞÊÝÐÅÏÌÞÐÕÁÌÍÅ ÎÏÅÄÊÍÔÅÌÕÅ.


á ÄÅÈßÐÁÕÐÅÊÝÌÍßÐÕ ßÕßÐÅËÞ ÞÌÌÑÊÕÏÑÅÐ ÏÅÃÑÊÝÐÞÐØ ÂÞßÐÕ ÁØÂÕßÊÅÌÕÈ, ÎÏÕÁÅÄÜÕÓ É ÌÅÑßÎÅÓÑ, Õ ÍßÑÛÅßÐÁÊÚÅÐ ÁÍÃÁÏÞÐ Á ÐÑ ÐÍÂÉÑ (ÎÏÅÄÊÍÔÅÌÕÅ  ÿ),  Á ÉÍÐÍÏÍÈ ÙÐÞ ÌÅÑßÎÅÜÌÞÚ ÁÅÐÁÝ ÌÞÂÕÌÞÊÞßÝ. éÍÖÄÞ ÎÏÍÆÅÄÑÏÞ ÍßÑÛÅßÐÁÊÚÅÐ ÁÍÃÁÏÞÐ Á ÌÅÉÍÐÍÏÑ× ÐÍÂÉÑ, ÁßÅ ÉÍÌÉÏÅÐÕÃÞÆÕÕ ÎÅÏÅËÅÌÌØÓ, ßÄÅÊÞÌÌØÅ ÎÍßÊÅ ÙÐÍÈ ÐÍÂÉÕ, ÞÌÌÑÊÕÏÑ×ÐßÚ. ðÞÉÍÈ ÎÍÏÚÄÍÉ ÍÀÅßÎÅÂÕÁÞÅÐ ßÕßÐÅËÞÐÕÂÅßÉÑ× ÎÏÍÁÅÏÉÑ ÎÏÍÊÍÖ-ßÕßÐÅËÍÈ ÁßÅÓ ÁÍÃËÍÔÌØÓ ÞÊÝÐÅÏÌÞÐÕÁÌØÓ ÎÑÐÅÈ ÁØÂÕßÊÅÌÕÚ ÄÍ ÐÅÓ ÎÍÏ, ÎÍÉÞ ÌÅ ÀÑÄÅÐ ÌÞÈÄÅÌ ÎÑÐÝ, ÁÅÄÑÛÕÈ É ÑßÎÅÓÑ, ÕÊÕ ÔÅ ÄÍ ÐÅÓ ÎÍÏ, ÎÍÉÞ ÌÅ ÍÉÞÔÅÐßÚ, ÂÐÍ ÁßÅ ÎÑÐÕ ÎÏÕÁÍÄÚÐ É ÌÅÑßÎÅÓÑ.

ëØ ÑÔÅ ÃÌÞÅË, ÂÐÍ ÄÞÔÅ ÎÍßÊÅ ÑßÎÅÜÌÍÖÍ ÃÞÁÅÏÜÅÌÕÚ ÎÍÊÝÃÍÁÞÐÅÊÝ ËÍÔÅÐ ÃÞßÐÞÁÕÐÝ ßÕßÐÅËÑ ßÍÁÅÏÜÕÐÝ ÁÍÃÁÏÞÐ ÄÊÚ ÎÍÕßÉÞ ÌÍÁØÓ ÏÅÜÅÌÕÈ. á ÌÞÜÅË ÍÎÕßÞÌÕÕ ÎÏÍÆÅÄÑÏØ ÁØÂÕßÊÕÐÝ ÙÐÞ ÄÅÐÞÊÝ ÀØÊÞ ÍÎÑÛÅÌÞ.

éÍÌÅÂÌÍ, Á ÌÞßÐÍÚÛÕÓ ÏÅÞÊÕÃÞÆÕÚÓ îÏÍÊÍÖÞ Á ÎÏÍÆÅÄÑÏÑ ÁØÂÕßÊÕÐÝ ÄÍÀÞÁÊÅÌØ Õ ÅÛÅ ÌÅÉÍÐÍÏØÅ ÑßÍÁÅÏÜÅÌßÐÁÍÁÞÌÕÚ. íÄÌÍ Õà ÌÕÓ - ßÍÉÏÞÛÅÌÕÅ ÏÞÀÍÐØ ÎÍ ÎÏÍßËÍÐÏÞË ÎÏÍÖÏÞËËØ ß ÆÅÊÝ× ÎÍÁØÜÅÌÕÚ ÙÒÒÅÉÐÕÁÌÍßÐÕ. îÍÙÐÍËÑ ÌÞ ÎÏÞÉÐÕÉÅ ÎÏÍÊÍÖ-ßÕßÐÅËÞ ÌÅ ÎÏÍßËÞÐÏÕÁÞÅÐ ÁßÅ ÎÏÅÄÊÍÔÅÌÕÚ ÎÏÍÖÏÞËËØ, Þ ÁËÅßÐÍ ÙÐÍÖÍ ÏÞßßËÞÐÏÕÁÞÅÐ ÐÍÊÝÉÍ ÐÅ Õà ÌÕÓ, ÉÍÐÍÏØÅ ÉÞßÞ×ÐßÚ ÐÅÉÑÛÅÖÍ ÆÅÊÅÁÍÖÍ ÑÐÁÅÏÔÄÅÌÕÚ.


Ñîäåðæàíèå ðàçäåëà