15
)XQGDPHQWRV / RJLFRV H ,PSOHPHQWDFL RQ GH XQD ([WHQVL RQ D 7HPSRUDO 3URORJ

Fundamentos lógicos e implementación de una extensión a temporal Prolog

  • Upload
    mdx

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

��������� � ���� � ����������� ��� ��� ������ � � ������� ����

������ ����� � ���� ��� � ������

���������� � � �������� �

����������� �� �������� �� � ���������� �

��� ������� !����� �� "��

#�$��� # ���� � ���������

�������� ����� ������������

�������� ���� �� ���� ��� ���� �� �������� � � �� ����� �� �������� � � �� ���� ��� ����

�������

�� ��������� �� ����� �� �� ����% ������� �� ���������� &�� �� ����� � �����

' � ����� �� ����( $� ��� ������� �� �� ������ ��������� �� ���$�� ������

�� �������� �� � ����������� )�� $� $��$ � ������ � ��������� �� $����������� &��

����%�� ���� ��� �� ��*�������� �� ��+�% �� ���� �� � �����( �� � �� ���� �,���� $�� ������� �� ���� �����%�� �� ����������� �� ����� ������ � )� ������� ��(

������������ �&��� �� �����%� �� ����������� �� ����� ������ �������� )�-(

��� ������ �� .�������� ����� �� �/� )��� �����%� ����� ���� �� ��� ��������

���������� �� ���' �� 0��123� ���������� � ������� � �4� ���� ��� *���������

����� ' � ������� ���� ��������� �� �� ��� ����������� 5�������� ��� �&��� � �����

�� � ��� ���������� �� ���������� �� ��� �����%� �� ��6��� �� ������ �������

���� ��� ����� �� 0�713� ��� �������� &�� � �� ���� ��� ��� ���������� �� ��

��� �� �� � �������� �� ���' �� ���� � ������� ���� �� � ��� ���������� ��

)�- �� ����� �� ����� �� ����% &�� �������� �� ���� ������� �

������ ����� �� ����������� �� ������� �� ����% �� ���' � 8� �� &�� � ����

��6�� � �����%� &�� �4��������� ' �4� ������� � ��� ���� �� ���$� �4�������� ) ��%��� �� �������� ���������� �� ���� �����%� ������� � � �������� ���� ��

�������� ��� �6��� �� ���� ��� �� ������������ )� &�� �������� � � �4�������

��������� �� ���� � �� � ����� �4������� ' � ��8������ �� �����%� &�� � ���

�� ���� ������� ������������ � � ����� &�� ������� �������� ���� ��� �� ���$

�����%�� �����,������ � � ����� �� ��� ����������� �� &�� � ���� ������

��� *������ ��� 9������� �� �������:� )� &�� �������� � � ��� ���������� �� ��

�����%� �� ���� ���( �� ����� ����� &�� �� ��� � ����( '� &�� ���' � �������� ���

��� ���������� �� �� ��������� ;��� ����� �� ������������ �%��� � � 8� �� � ������

������� �� ��� �� �����%� ���� ��� ��� �� � ���� ���� �� � %��� � � ���6��� ' ��

������ &�� ���� &����� �����������

������ �� ���� ��� �� � ���������� �� �� ������� �� ������������� ���� �� � �� �� � ��� ����� �� �� �������� �������� ������ ��� ��� ��� �� ����������� �� � �� � � ����������� �� ��� ��� �� ��� ��� ���!�

��������� � ���� � ����������� ��� ��� ������ � � ������� ����

� �������� �

)� �������� �� � ���������� � ������ ' ���������� ���������� �� ������ ����

��� �� �� �� ����� &�� $� ��������� �� �������� ��������� �� �� �� ����� ��������� "������

&�� �� ����� �� ��� �� �� ������� �������� ���� �� ������� � ������������ �� ������

������ �� ���� ����������� �� � ������� �� � ���8���� � ��� ��� �� ������

<�' ����� ������ �� �� �������� �� � ���������� ���� � ����� ����� �� �����

�� ��� *��� ������� ' ���� ��� ��� � ' ���� �� ������ ������ �� �� ������� )

����� �� ����������� �� �����( &�� �� � �� �������� � ���� ����%( $� ����� �� ������

�������� ' ��� � �� �� �� ����� �� ��������( �� 0� 7=3� "�� �����( � ��� � ������� �������� ����� ������� � � ����� �� �� <�� �� �� ���������� �� ���� 8%( ��

0 )>2?3( �� ����8������ ���� ���$� ��������� -� �%��� ( �� � ��� &�� ����������

����������� ��� � �� ���� �� � ������� � ����� ��&�������� �� �����%�

�4������ ' �� ����������� �� ����������� �� ���������� ����� � ��� �����%��

)4����� �� ��*&��� �������� �� ���� � ���������� �� ������ ������ �� ' ��

���� ���� ��������� ������ ������ ��( � � ��@ � ��*&�� ��'�� �� � ������� ��

��� ��� � �� ������� ��� �� � ������� ����� ���� �������� ������� �� ����

������� � �� �� ����� ����� ��� ��� �� ����� ��� ����� ��� ������� ��� ������ ���

�� ����� ��������� ��������� � �� ����� ���� ��������������� ���������� � �����������

�������� ��� ������� �� � ������ ��� ������� ����������

���� ����������� ����� �� ���� �������������� ������� ���� � ������������� ������ �� � ������ ����� �� ������� �� ����� �� ��������� �������� �����

��� ��� �� �� ������������ ������ ������� !��� ��������� ����� ��� ��

���������� ���������� ������ "� ��������� ��� �������� ���#

� ��������� � ������� �� � ������� $� � ����� ����� ������ � % ����� �

�������� �� �� �������� ���� �� ������ �� �� �������������� ������� ��

�� ���������

� ��������� � ������� ������� $� ������� ����� ������ �%� ��� ��������

������ ���� �� ������� ��������� ��� �� ������ ����� � ������� " ���

���� �������� �� �&������ � ����������� �� ������ ��������� ��� ������������������

'� ������� �� ��� ����� ��� �������������� �� �� ��������� ���� ����������

����� ���������� �� ()*+,- !� �� ��� ���� ��� �������� ���� �� ������ ��� �� ������

������ � �����������. ���� �������� � ����������� �� ������ $("��/,- � ("��+0-%

"�� �������� ���������� �� ���� ���� ��� ��������� �� ������� �� ����������� ��

������ �������� �� �� ����� ��� �� ��������� ��� ������ �� ����� �������� ��

���� ������ ���������� ��� ��������� �� ����� �� ������ � � ������� �� ���� 1�

�� ��������� ���������� �� ��������� ��� �������� �� �������� �� ��������� ��

�������� �� ���� ����� �� ������� ��� �� ��������� ���. ���� ���������� �� � ��2

���� �������� ��� �� � ���������� ������� ����� ����� � 1� �� ������������������ �������� � ��� �� ���������� �� �������� �� ������� ��������� �� (3/4-�

��������� ������� ���� 5� ������ �� ������� �������� �� ���� ���.���� �� �� �&2

�������� �� ������� ����� � ��� �������� ��� ��������� ��������� ��� ����������

��������� � �������� ���� �� ��� ����� ������� ���� �� ������� ���� ��������

!� ������ ���� � �������� �� ����� �� ����� ��������� �� � �������� �� 32

� ���� ����� �� ��������� �� ������� �� � ���� �� � ����&�� �������� "����

�� ��������� � �&�������� ������� �������� 67 �� ����� �������� ������� �� �� ��2

������������� �������� ,7 � ������� �� ������������� ��� �������� �� � �������� 0

� ������� ����

������� ���� �� �� �&�������� �������� ��� 3� �� (3/4- � �����������

������ ��������� �� ������ �� ����������� �� ������ ������� !� � ��������

�� ��������� ��� ���������� ���������� �������� �� � �������� �� �� ������� ������

���������#

��# �� ���� ������� �� �� ������

��# �� ��� ������� �� �� ����

�� 8��� ����

�� 8��� ����

�� 8��� � � �� � ��

�� 8��� � ��� ���

" �������� ���� ��� ��������� �� � ��������� ������#

����������� � $���� �� (3/4-� ����� 9:4% " ������ ������� �������� �

�������� �� ����������� �� ������ ������� �������� ������� ���� ����� ���

���������� &���� � ����� �� ���������#

: ;���� ��� ������� � ����� �� � ������ �� ���������

9 "� ���������� ����� �� ���������#

� �

� ��7

� �

� ��7

� ��� �� �

� �

6 "�� ���������� ������� �� &���#

�$�� �%� $��� ��%

�$�� �%� $��� ��%

��� ���

��� ���

�� ���

�� ���

, "�� ���������� ������� �� &��� �������� �� ��� �� �� ��������� �������

�����#

�� � �� � � $� � ��% � � $� � ��% � � $� ��%

�� � �� � � $� � ��% � � $� � ��% � � $� ��%

" �����&�� �� ������� ���� ����� ��� ������� ������ �� � ��������� ����������#

����������� � $(3/4-� ����� 9:9%

'� ������ $� <�� �� =���% �� �� �������� �� ����������

'� ������� �� � �� ������� ������ � �� ������� ��� ���

'� ������� ������ �� �� ����� � �� �� ������� �������

'� ������� ��� ��� �� �� ������ � � � �� ����� � �� � ������ �� � ������� � �

�� �� ����� �� � �������

'� ��� �� ������� �� �� ������� ������� �� � ��� ����� � �� �� ������������� �������� ��������

'� ������ �� ������� �� �� ������� ������� �� ����������� �� �������� ��� �� �

��� ����� � �� �� ������

'� ���� �� �� ������ �� ������� �

*������ ��� ���������� �� ������� � ������������� �� �������� ����#

� (� $��$% � ��$% ��$%% ��$% ��$%-� � (� $�$%� �� $�$�%� �$%%%-

!� ������ ��������� ����� �������� � ����������� ��� �������� �� (3/4- !� �����

�� ��� ������.�� ��� ������ �� ������ � ��� ���� �������� �� ���� �����.��� �� ��

�������� ��� �� � �� � ��������� ��������

� ��� � �������� � �������� �� ������ � �� ��������������

" ��� ������ �� ��� �������� �� ������ �� ��������� �� ����������� �� ������

�������� ������ ���� �� �� ������ ���� �������� ����� �� ��������� ��� �����2

�� ��� ��������� �� ���� ���� �� ������� �� �� ����� �� �������� ��������� =� �����

�� ��������� �� ���� ���� �� �������� � �������� �� 3�� ������� ���� �;������

>����� � ��� �� ��������� �� � �������� ������� " ����� �� ���� ���� �� ��� ���2

����� �� ��� ���� �� ��� �������� �� ��������� �� �� ������ ���� ��������������

��� ���� ��� ������ ����������� !� ���� ��� �� � ��������� ��� ������ �� ���2

��� ���� � �������������� ����. ������� �� ������������� ��� ������ � ������ ��

(��+/- ;����� �� ����������� ������ ������� ��� ����� � �� ������� �� ��� �� ���

��������� ��������� �� ������� �� ��������

" �&�������� � ��� �� ��� �������� �� ����� ������ ������������# ������� ������ �� � ������� ����� �� � ���������� ��� ������� � �������� �� �� �������� >��

���� ��� ���� ���� �������� �&������� ��� ����������� �� ������� ������� �� ��

��������������� �� �������� ������ �������� ��� ��� �� � ���� ���������

� � ��� ���������� ���������

� ������ �� ���� ���� �� ��������� �� ����� �� ��.����� �� ������ ��� ��������� ���2

������ ��������� ��������� "�� ��������� ������ ��� ����������� ��� ��������

����������� ���� �� ����������� �� ������� �� ��������� �� �� �����#

����������� ������ �� ����� � � ��� �� ��������� ��������� ��

������� � ������ � ���������� � ����� ������ �� ����� �� �

������� �� � ����� ����� � � ������������ ��� ��� ��������

�� ����������� ������� �� ��� ����� � � ����� ������ � � �������� ������� �� ������� �� � ���� � ��� ������ ������� ���� �����

���� �� �������� �� ����� ������� �� ��� �� �� � ������������ �

� � ��� ��� �� � �� ����� ���� ��������� �� ���� ���! �

��"�� ��� �� ���� ������ � � � � ������ ������� �� ������ �� �

��� �� ��"�� � ��������� �� �� ���� � ����� � � � �����

��� �� ��"�� �� ����������� � ���������

�� �� ��� ������� ��#�� �� ������� � �� ��� ��� ������� ���� ��

����������� �� ��"���� �� ����������� �� ����� ������ �� ��#��

���� �� ������� � �� ��� ��� ������� � ������ �� ��� �� ��

����� ������ ���� ���� ���! �� �� � ������� �� �� ����������� � ��

� ����� � ��#��� ������� ������ �� � ��� �� �� ����� ��������� ��� ��� � ���� � �� � �� �� ����� � ���#��� ������� ����

����$� ��� �� ���� � �� � � �� � � �� ��� � ������

�� �� ������ �����%���� ��� ��#����� �������

�� �� �&��� � � ����� �� �� ����

�� �� �&��� � � ������ �� �� ����

� �� ��� � � ���� �&��� � � ������� ���� � ������!

�� �� �'�#��� �% � � ����� �� �� ����

�� �� �'�#��� �% � � ������ �� �� ����

� �� ��� � � ���� �'�#��� �% � ������� � � ����� � �����!

� �� ��� � ��� ��� ������� �� ����

� �� ��� � ������� ���� �� ����

���� �� �!� �(���� �� � �� ����� � ��� ������ ��� � � ����

���� �� �!� �)�� �� � �� ������ � �� ���� ������ ��� � *

� ����

� � �� ���!� ������"� � ������� ����

'��� �� ���� ���������� ��� ������ ������� �� � �����%����� ������� �

����� �� ���#��� � �� �� � ������%� �� ������������ � � ��#��� � ��#��������

� ���#��� ������ ������ � ���� +��������� ��� ��#����� �"�������� ��������

� �� ������� �� ����

��� , �����

��� , �����

�� , � ���� ����

�� , ����

-���� ���� ��� #��� � ������� � � ����� � �� ���#����

����������� � ������� � �� ���� � ./��012� ���#��� 341!

5� ���#��� ������� ��� ��� ��#����� � ����� � #���� � � ��#��� ��� ��� ��� � � ��

4� 6���� ��� ����� � #��� � �� ���#��� � ���������

3� 5�� ��#����� #��� � ��������

� �

� ���7

� �

� ���7

� ��� �� �

� �7

� �

� ��7

� �

� ��

8� 5�� ��#����� ������ � � �����

�� �� �!� ���� ���!

�� �� �!� ���� ���!

���� �����

���� �����

�� �����

�� �����

� �� �!� ��� ��

� �� �!� ��� ��!

� ���� ���

� ���� ���

���� �

���� �

9� 5�� ��#����� ������ � � ���� �������� � ��� � ��� ������� ������

������

��� ���� � �� � ����! ��� � ����! ��� � ��!

��� ���� � �� � ����! ��� � ����! ��� � ��!

' ������������� �����%���� �� ���#��� ���� �"���� ���� ��� � �� ��#��� �

��#�������� � ���#��� �������

����������� � ������� � �� ���� � ./��012� ���#��� 343! +����� �� ��#��� ���

������� �������������� ��� ��������� ���#����� �� ���� � � ��� ������ �������� ��

��� ��� �� ��� ��� �� �� ����� ����� )"����� ��� ������� � � �� ���� ��������� � ���� ���

��������� ������� ������ �� �� � ��� ���� ��#��

:� � �� ��� � �� �������� � �����������

:�� ��������� � � ��� ��������� � ���� �� � ��� ��������� �������

:�� ��������� ������ � ��� ��� � ���� ���� � � ��� ��������� � ���� ���

:�� ��������� � ���� �� � ��� ����� � �� �� ���� � � �� �� �� � � � ��� ������

:�� ����� � � ��� ������� �������� � ��� � ��� � �� � ��� ���� � � ��� �����������

� ���������� � ���� ����

:� �� �� � � ��� ������� �������� � ��� ����������� � ������ ��� � ��� � �� � ��

� ��� ���� � � �� �� ���

:�� ��� � ������� �� �� � �� � �� � ��� � ��� � ���� ���! � ���� ���!� ����

� � � ��� �� ����

�� �������� ���� �� ���� � ���� �� ����� ���������� ��� � ��#������ ����

���� � �����%���� �� � ������ ��� ���%� ��#���� ��������� ��� ���� ����������

&#������� � ������� �� ��#����� ��� ����� ��������� � �� ��#��� ���#��� ���� ������ � �6����� ����#� ������� ��� �������� ������ �������� �� ��#���

���� �"����� �����%���� � ����$ � ������ �� ��#�� �6�� �������� � �������

���� �� � ������

����������� � ������� � �� ���� � ./��012� ���#��� 333!

&� � ��� ���� �� ������� � ��� ����� ������ �� ���� �� �� ������ ��

��� ����� � ���� ��� ���� �� ���� �� ������ ��� �� � � ����� �� �� �� ����� ��

��������� �������� �� ��� ���������� ����� �� � � ��� ��� � � � ���� �� � � � � � ����� ������� �� ��������� ��� ����� � ���� � � � ��� ����� ������ ����������� ����

���� �� ��� ���� �� ���� � �� �� ����� � ����� ���� �� ��� ������� �� �� �����

� ���� ���� �� �� ������ ���� ��� �������� ! ���� " � �� ������ �� ��� ��

������� ��� �������� �����#������� � ���� " $ �� ������ �� ��� �� ���������

����� ����� �

%� ������ ��� �� �������� � ��������� ���� �� ���� �� ������� ��� �����

��� ��������� �� �� �&��# �� �� �������� ��� �� ����� � ���#��� �� �� #������ � � ��� ������� �� ����� �������� '� ����� ��� ��� �� �� ��������� ������#�

�����#� �� �� ���� ���� �� �� �&��# ��� ������� �� ��

���������

����� �� � � �� �� ����� �� ��������� �������� ���� �(� " � � ��� � ���

�������� ������� �� �������)��*

$� � ��� " ����� ��

+� � � � � �� �� ���� �� ��������� �� ���� " $ ���� �� �� ���� �������

������ �� ��� �������� ������� �� �������)�*

��� � ����

��� � � ����

,� � � � � �� �� ���� �� ��������� ���� " � ������� ������ �� ��� ��������

������� �� �������)�*

��� ���� �� �� ���� � �� � �� ����-� �� ��� ��������� ������� � )� ��

���� ������ ��������� ��.� � �� ����-�

��� ���� ���� �� ���� �� � ��� � )� ���������� �� ����-�� �� �� ���� ���

� ��������#������ ��� ��

��� ���� ���� �� ���� � � �� � )� ���������� �� ����-�� �� �� ���� �

��������#������ ��

/� � � � �� �� ���� �� ���������� ���� " $ ���� �� �� ���� ������� � ����

����������� �� ������ ������ � �� �� ����� �� ���� " ����� ���� " $ ������

�� ��� �������� ������� �� �������)�*

��� ���� � � ����

��� ������ � � � ����

0� � � � �� �� ���� �� ���������� ���� " $ ���� �� �� ����� ������� � ����

����������� �� ������ ������ � �� �� ����� �� ���� " ����� ���� " $ ������

�� ��� �������� ������� �� �������)�*

��� ���� � � ����

��� ������ � � � ����

1� � � � �� �� ���� �� ���������� ���� " � ���� �� �� ���� ������� � ����

��� � �� �������� ������� �� �� ����� �� ����� " ����� ����� " � ����

������ � ��� ��� � � � � � ��� ���������� ����� � ���� � � � ��� ����������

������� � � ���� � � � � � �� ����������� ���� ��� ���������� �� ��� �����

��������� ��� ���������� � ����

2� � � � �� �� ���� �� ���������� ���� " $ ���� " � � �� ������� � ����

����������� �� �������� ������� �� �� �� ����� " ����� ����� " $

����� " �

3� � � � �� �� ���� �� ���������� ���� " � ���� " � � �� ������� � ����

����������� �� ������ ������ �� ���� ������ � � �$� +�� ���� " ����� ����� " � ����� " �

4� � � � �� �� ���� �� ��������� ���� " � ������� � ���� ����������� ��

������ ������ �� ���� " ����� ���� " $���� ���� "

$�� � � � �� �� ���� �� ���������� ���� " $ ���� " ��� ������� � ���� �� ����

������� �� �� �� �� ������� ������*

����� " ����� ����� " $ ����� " �5

��� ���� ����������� �� �������� �������* ��� �� ������ �� ��� ��������

������� ������*

��� ����� " ���� ����� " $ ���� ������ �

� ����� � ��� � ����

����� " � ���� ��� ��������� ������ �� ���� � ��� �

������ �� ��� �������� � ���� �� �� ���� ���� � � �� ��� �������� � ���� �� �� ���� �

��� ���� �

�� ���� � � ����

�� ����� ������ �� ������� ��� �� ���������� ���� � ��� � ��� �� �������������� ������ ���� � ���

�� ����� ������ �� ������� ��� �� ���������� ����� � ���� � ��� �� ������������ ��� ������ �� � ��� � ���� � � ���� �� �� ��� ���� � ���

�� ����� ������ �� ������� ��� �� ���������� ����� � ���� � ��� �� �����

������� ��� ������� ���� � ���

�� ����� ������ �� ������� ��� �� ���������� ������ �� � ��� �� �����������

��� ������� �� � ���

�� � �� �� �� ����� �� ������������� ��� � � ��� � ���� �������� � ����� � ��

������� ��������� �� � ����� ����������� ��� ��������� ����������� ��� �� � ������

�� ��� �� ��� ����������� ��� ������ �� �� ��� �� ����������� � ��� ������ �� ��� ������

�� �� �� ��� ����!�

" �� � �� �� �� ����� �� ������������� ��� � � � ��� � ���� �������� � ����� ��� � ������ ��� ��������� ���������� � ���� �� ����� ��� � � � �� ����

#�������� ���� #������� �� � �� �� � ��� ����������� ����� ��� ������������ �� #���� ��� � ��� �� ���� $ �� � �� ��� ����������� ����� ���

���������� �� �� #���� ��� � ���� �� ���� � $ �� � �� ��� �����������

����� ��� ���������� �� �� #���� �� � ��� �� ���� � ���� ���� � � �� ��� ��

��� �� ������� ����������� �� �������

�� ���� � ���� ���� � � � ���� � ��

��

���� � ������ ��� ��������� ������ �� ���� � �����

������ �� ��� �������� � ���� �� �� �������� � � �� ��� �������� � ���� �� �� �����

���� � ��

���� � � � ��� ���� � �� ������� ������ � � �� ���� ����

���� � ��

% �� � �� �� �� ����� �� ������������� ��� � � � ��� � ���� �������� �������

����������� ��������� �� ������������ � ��� ��� ������ " ��������� �� �� �� ��� ����!�

& �� � �� �� �� ����� �� ������������� ��� � � � ��� � �� � ��� �������� � �����

����������� ��� ���������� �� � �� ��� ���� � ���� ���� � � � ���� � ��

' �� � �� �� �� ����� �� ������������� ��� � � ��� � �� � ��� �������� � �����

����������� �� ������� �� ��� � ���� ��� � � ��� �� � ���� �� � ��

( �� � �� �� �� ����� �� ������������� ��� � � ��� � ��� �������� � ����� ���

��������� ����������� �� � ��� � �� �� �� ��� �� ��� �� ������� ������������

��

���� � ������ ��� ��������� ������ �� ���� ������� �� ��� �������� � ���� �� �� ���� ���� � � �� ��� �������� � ���� �� �� �����

���� � � ���� � �

�� ���� � ���� ���� � � ������� �� � ���

�� ���� � ���� ���� � � � ���� �� ��� )� ���� � �� � ��� ���� � �������� � � ���� � �

�� ����� ������ (� ������� ��� �� ���������� ���� � �� � ��� �� �����������

��� ������ ��� � ���

�� ����� ������ (� ������� ��� �� ���������� ���� � �� � ��� �� �����������

��� ������� �� � ���

* �� � �� �� �� ����� �� ������������� ��� � � � ��� � ��� �������� � ����� ��

������� ���������� �� � �� �� �� ��� �� ��� ����������� ��� ������ ( ��� ��� �

����������� ��� ��� � �

+ �� � �� �� �� ����� �� ������������� ��� � � ��� � �� �������� � ����� ���

��������� ����������������� � �� �� �� ��� �� ��� ����������� ��� ������ ( ����������� �� �� ��� ����!�

, �� � �� �� �� ����� �� ������������� ��� � � � ��� � �� �������� � ����� ��

������� ���������� �� � ������ �� ���������� ��� ������ * ��������� �� �� �� ��� ����!�

"� �� � �� �� �� ����� �� ������������� ��� � � ��� � ���������� �������� � �����

�� ������� ���������� �� � ��� �� ��� �� ������� ����������� �������

�� ��� � ���� ��� � � ��� � � ���� ����

�� ��� � ���� ��� � � ��� � � � � � ������������

" �� � �� �� �� ����� �� ������������� ��� � � � ��� � ���������� �������� � �����

�� ������� ���������� �� � ��� �� ��� �� ������� ����������� �������

�� ��� � ���� ��� � � � ��� � � ���� ����

�� ��� � ���� ��� � � � ��� � � � � � ������������

"" �� � �� �� �� ����� �� ������������� ��� � � ��� � ��������� �������� � �����

�� ������� ���������� �� � ��� �� ��� �� ������� ����������� �������

�� ��� � ���� ��� � � ��� � � ���� ����

�� ��� � ���� ��� � � ��� � � � � � ����������

"% �� � �� �� �� ����� �� ������������� ��� � � � ��� � ��������� �������� � �����

�� ������� ���������� �� � ��� �� ��� �� ������� ����������� �������

�� ��� � ���� ��� � � � ��� � � ���� ����

�� ��� � ���� ��� � � � ��� � � � � � �����������

����������� � -.��+*/� ��� ��� ""&� �0� ����� ������ �� �0� � ����� �� ������ ��

������������ 1���� �0� ����� ���������� �� �0� � � ����� �� ������ �� ������������1���� �

���� ������ ���������� �� � ��������� ������� ��� �� ���� ������ � �� ��� � �� �

����� �� � ����������� �� ���� ��� ������ ��������� ����� ��������� �� ��������

� �� �� ���� �� � ��� ����� �� � ����� ������������� ��� ���� �������� �� ���

������ �� ���������� ��� ����� ����������� ����������� �� ���� ���� �� ��

���� ������� ��� �� ��� ��������� �� ���� ������ � ��������� �� ������� ���� ��

� ��� ���� �� ���� ������� � ��� ����� �� � ����� �� ������� � ��!����� �� ������� ������� � "�#� � �

$� � ������� �� �� �������� ����� �� ����� � �����%� ���� ���� ���� ����������

��� � ������� �� �������� ���� �� ������ � �������� ����� �� ���������� ���

�%��� �� � �������� ���� �� ����� ������ �������� ������� � "$#� &���� �� �� ���

�� ��� �� �� ������� � !��� �� � ����� ���� ������� � ����� �� ��������� � ����

����� ����� ������� � "�#�

���� � '�� � "�#� � � $� �� �������� �� ������� ��� ��� � "�# ������ �� �� ��%����(��� �� ���� ��� �

����������� � '��� �) � ������ �� � ��� �* � ������ �� +�� �� ��������� �,

� ������ �� +�� �� - .���� �) � ������ �� � �� ������� � �* � ������ �� ��� ��

�������� ' � "$# �� � �������� �� �� ������� ��� �� ������� �� "$#� / ��0��0���

���� � � �� � ����� ��� �� � "�# �� ���� ����� �� ����� �� � � ����� 1 � �����2�

�� ������� ��� �� �� � ������ � ��� �� ������ � � �� � �!� ���� �2����� �� ��� ��� ��

��� � ����� ������ +�� � - .��� ����� ��� � ��������� �� ��� �� ���� � ��������� ������ ��� ������� ��� 3���� ������� 4��� �� � ������ �������� � ������ ��

� �� � �� +�� �� �������� ������� ��� �� "�#� / "��0 ��# 0 "��0 ��# 0��� ��� �� � $�

&�� ��������� �� � �� ����� ��� ��� ������� (��� �� ��� ��� !�� ��� �� �� �� ���

��� � �� ������� �� �� ��� � ��� �� � ��� � � ��� �� � !��� �

������� � ���� ����� �� ��������� ��������� ���� ������� ��� �� ���� �� ���

%���� (��� �� ������ �

����������� �

'������ ��� ��� ���� �� ���� �� �� � �� � ��� �� ��� �������� � "�# 1

)# �"�# �� �� ������� �� ���� ���� ���� �� �� ���� *� ,� � 5 �� 6���789� �� ��� ���

����� ���������� ����� �� � �� � ����� �� ��� �� �� �� "�#��

*# �"�# �� �� � ����� � �� ���� ���1 "�# / ) �� ������� �� %��1*

,# �"�# �� �� � ����� � �� ���� ���1 "�# / $ �� ������� �� %��1*

5# �"�# �� �� � ����� �� ���� ��� �� ���� ������ �� � �����

:# �"�# �� �� � ����� ��� "��� �������� ���� ���#� ���� ��� "�# / $ � ���� !��(������� �� ����� ������� �� �� ���� �� �� � "�#� ���� ���� ���� �� �� ���� *� ,� � 5 ��

6���789�

�� ��� ��� � ������ �� %�� �� ��� ���� ����� �� ��%���� ��� ����� ��� ��

����� � ��� � � �� � "�#� ���� ��� ���� �� � ����� �������� �� �� ������� (���

�� ����� �� �� �� �� �� �������� �� ����� ��� ������ (��� �� � �� � ��� �� " ���

)#� �

���� � '�� � "�#� � � $� �� �������� �� �2������ ������� ��� ��� � "�# ������ �� ����%���� (��� �� ���� ��� �

����������� � ���� ��� )� �

������� � ���� ����� �� ��������� ��������� ���� �2������ ������� ��� �� ������ ��%���� (��� �� ������ �

����������� � ;���� �� �2������ � ����������� ������� ���� �������� � ��������

��������1

' �"�# �� �� � ����� �� "� ���� ���� �� ���� ��� ���� ��#� ���� ��� "�# / )

�� ��� �������� �������� ��� �� �� �� �� �� � ��� ��������� ����� ��

��� �� �� � "�#�

<��� ������� �� ����� ��� � ��� �� ���� ��� ���������� ��� �� �� �� ����������

� � ��� �������� � ��� ���!� ����� �� ����� �� ���������� ����� �����������

=��!������ � ����� �������� �� �� ������� (��� �� ����� �� �� �� �� �� �������� ��

����� ��� ������ (��� �� � �� � ��� �� " ��� *#� �

# $�������������� ����� � ��������������

�� ���� ����� ������� �� ��������� ����� ����������� �� ��!�� � � �� ����������

�� ������� �� �!������� ��� �2���� ����� ������� ��������� � � �� ������� ��

��������� ������� ��� � �� ��������� �� �� ��� �� �� ������� � �� �2���� ���

������ �� ������ �!� �� � �(��� �� ���� ��� �� ���������� ���� ������� ��

���� ��� �� ��� �� �� ������� ���� ���� �� �� ������ <���� � � ����� ��� �� ��������������� �� ���� ��� �� ���������� �� ������� ������ � ��� ���� ����� �� ������� ���

�� ���� �(���� ���� �� ����� �� ��(����� ��� �� �2���� ���� ��� �� ��������� ��

�!��� �� ������� �� ������� �� ���� ��!� �� � �� ��������� ������

>� ������ ��������� �� � ��� ������� �������� �(��� �� � ��� ���� ��� ������

�� � �������� ' �� ����� �� ��� ���� �� � ����� ��"� � �# ����� � � � ����� ��

�������� �� ������� ���� �� ����!������ ��� ��� �� �� � ���� ��� ���� !�� ����

���� �� � ������ ������ � ��� � �������� ����� � � ������ � ��%����� �� �������

��� � � � ���� !��������� �� � ���� �������� �� � ������� � � � ����� ��������

��� ���������� ������� � ������� �������� �� ��� !��������� �� � ���� �������� �

� ������ ������� ��� ������ �� ���� �� ����� ���� ��� �� ���� ����� ������ ��� � �� �� ������� � � ������ �� � �2������� ��������� � � � �� ���������� ��� ��� � �����

���� �����%�� �� � ��� &� ��������� �� ���� ��� � ���!��� ��� ������ ��������� �

����� �� ���� �� � ��� � )$� �2���� � ������� � ������ � / � � � � � � � � ��

����� �� ��� � ���� ���� � ��� ����� ��� � �������� ��� ����� ����� ��� �������

�� �������� ��� ���� �������� ������ �������� ����� �� �� ����� ���� ����

�� � �� � �� ���� �� ������ ����� ���� � ! ���� � ���� � ��� ���� � �

���� ��� ����� �� � ���� ��������� ��� �� ! ������ �� �� �������

���� ���� � ����

� ����� � ���� ! ����� � ! ���� ������ �

��� ������ ��� � ���� !

���

����� � ��� �� ���������� ������ �� �� � ��� �

������ � ��� ��������� � ���� �� �� ��� ���� � � � ��� ��������� � ���� �� �� ��� !

� � ����� �

��� ����� � ���

"� �#��� �� �� �� ��� ��� �� ���� ���� ����� � ��� � ���� � ����$

���%��� ��� �������� ���� � ����

&� �#��� �� �� �� ��� ��� �� ���� ���� ����� � ��� � ���� � ����$

���%��� ��� �������� �� � ����

'� �#��� �� �� �� ��� ��� �� ���� ���� ����� � ��� � ���� � ����$

���%��� ��� ��������� ���� � ����

(� �#��� �� �� & �� ��� ��� �� ���� ���� ������� � �� � ���� � ����$

���%��� ��� ��������� �� � ����

)��� ��� �� ��� ���� ��� ������ �� �� ������ ���� �� ��� ����� ����� ��� �� �$

���� ������� ����� ����� ���� *� ��%��� �� � ����� �� � �� ���� ��� ��� ������

����������� ! � ��� ���� � ������� ��� ���� ������� ��� �� � �� �� �� �� ��� ��

��� ����� ���� �� ��� ����� ����� )�� �������� �������� ��� �� ��� � ���� ���

! ��� �� �� ��� � ���� �� ������� ������� ���� � � � � ��� ��� �� ��������

�� �������� �� ���� ����� �� �� ����� ���� � �� ������ ��� �������� ����� � ������������ ��� �� ��� ���� ��� ������ ������ �� ����� �� �� �� ��%�������� ��������

�� ������� ���� �� �������� �� ����%���� �� ����� ��� ������

+��� ������ � �� �� �� � ��%� ������� �� �� ����� �� ����� ��� ��� �� ����� ��

������ ������� � �� ��� � � ���� � ���� � ����� �� ��� ������� �� � ��� ��� ��

���� ��� ! �� ������� ��� ����� �� � ���� ���� ���� �� �� ���� ������ �� ������

�� � �������� ���� ��� � �� �������� ��� ����� � �� ���� ���� � �� � �� ������

� ��� � �� � ���� ��� �� ���� ���� �� � ������ ������ � �� �������� ��� ��������� ��

����� �� �� ��� ��������� �� �� � ���� ���� ������ !� ��� �� �� ��� ��� �� ��

���� ���� � ������� � ���� �� �� ,����� �����# ������ �� �� ���� *� ������� ��� ����

�������, � �� ��� ������� � ����� ��� � ! ���� ����� ���� ��� � ���� � ����

�� ��� ��� � ! � �� ��������� �� �� ���� ������ ��� ������ ���� � �� ���� ��������� � �� �� �� ���� �� ���� ���� ��� ���� ���� � ! � � ������ !� ��� �� �������� ��

�� � ������� �� � �� ����� �� ����� ������

-�� �������� �� �� ������� �� ���� � �� ��� � ��������� �� ����� ��� � ����%��

���� ������ ��� �� �� � ������� ! �!� ������� ���� � �� ������� �� ������� ��������

.�� �� ���� ��� �� ����� ������ ��� ������� �� �� ������ ����� �� ������� �� ���

�� ��� � ������� ������� �� �� ������� �� ���������� ���� ��� �� �� �������� �������� ����� � �� �� ��� �� � �������� � ����� ������ �� ����� � ����� �� �� ��������� ���� � ��� ��/� )�� ������� �� �� �� �� ���� �����%���� �� �� �� � ������� ��������� ����� ������������ �� ����� � �� �� �� ������ �������� � �� �� ���

�� �� �� ������ ������� �� ����������� �� ���

*� ���������� �� ������ ��%�������� �������� ���� � �� ���� �� �� ��� �� �� �����

�� �� ��� � ��� ������ �� ������� �� ����� �� ���� ��� ��������� ���� �����%���

�� ����� �� �� �� ����� �� �� �� � ������� � �� ���� ��� ������� � ���� �� ����

�� �� �� ������

% �������

*� ������� ��� ����������� � ������ ���� �� ��!�� ������ ������� �� �� ��� 0����!

�������� ���� � ��������� ������ �� ������� ������ ��� � ����%���� ���� ������

�� ��� ���� ��� ��# ������� ����� ���� ��

������� � �1������ &� � ������� " ( �20��345�� 1� � �� ������� ����� ����� ��� �

����%�� �� ��������� ���� �� 1� 16) �� ������� ���#������� � �� � �

���� ���� �� �

������� � � ����� �� ���� ���� �

������� � ����� � ���� ������ ��� ����� !"�� ���� �� �� ���� � #��#� �� �����$�

� ����� �#�# #� ��� �%�$ $�#���#��� �� #���$� �$���� ����$�$ &�� � '�$$������� �� (��

�����$��)#� �$� ������$ $���������� �� ������� �� �*+ � ���� � ��$�)������� � ������

������ ������ � �������� � � ����� �� �������� � ������� ���

,���� �� - �� ��#���� $�#���#�� ��� ��&���$�� � � � $�$������� .�$��� ��� �

������� � ���� ���� � �����$� ���� �� ���� � $����#�$ ��� ����� �� &�� ��.� ��$�

� ��$�#�$ ������ � ���$ #� &�� ���� �� ��#� ����$ �� � ���� #� #����� �� �*+ �

���� � ��$�)������� � � �

�� � �

�� ����� ������� ����� � ����� �� �

���� ��� �������� � � ����� �� �������� ��� ���� �

+$� �� '� ��#� ��� �%�#� ���� ������� #� ����� �� �$� ����� #� #����� /��� ���������

�� ������� #� $��$�������� �� ������ ����$� ��#� ��$ � ���� #� �� ������� ������

#� ����� ��� ���$� ����� #� #���� ��� � ���� ��(�$������� ����$� � �� ���� ��� ���� #�

#���� '�����$��� ��*0����"�� +$������$���� �'�$� �� ���� � #� � �������� $�� � 1�����

���� �� .�$�)�� �� ���� ���.� ������� � ����� #� �� ���� �� $������#�� �$ /��#� -

2���� �� �/2 �"� ������ � � *������ � ��������� ���� ��

������� � *������ ��� ���� #� #���� ��� � ����� '��'�� ���$� � '����$�� #� ��� ���$��

��$��� #����� #� ���$�� #�)� ������ � �� ���� &����� �$������ �� &�� #��$������� - ���

&��� �� �$��� ,�� �����$�)� ������$ ��� ���� #� �� �� ��#��� �� ��� ��� �� �$���� � � &��

�$�����$�� �� � #��$������� #� �������� #����� #� #�)� ������ � 3 &�� �#����� '�-��

�$�����#� � �) �����$�� 4�'� (�� � ��$����� �� ������ ����$� ��� ������ ���$������

� ����� ���

�������� ��� � � ���������������� � ���������� ��

�������#� &�� �� $�#���#�� ����� �� ������� - ���� '�� ��#� #�5��#�� #� ���6

�$� ���$#� � $��$���� 7� ������� � �� �#� #����#� #� � ����� �� �8������

*����#� �� ������ ����������� #� �������#� �#����� #� �����#�$�$ &�� � $������

�� � ������� #� ������ #� ����.�#�#�� #� � ��$��� - &�� � ����� �� �� ����� $�� �%��#�

�� ��� �������� #� ������ �� �*+ � ����� �� �� .�$�)� #� � ��������� ����$��

������� ��� � � ������������ ���� � ��������� ����

���������� ��� � � ������������ ���� � ��������� ���

9���$.������� :� #��-������� �� ������$�� -� &�� �������� �� �$$�;�8�.� �.�$ ���� �

������� � <� ����$� ���� �$� �#$�)���� &��$�$ ����$ �� ������ �� '� ���$������#� �

�� �$�� #� 4�'� ����#� � �����#��� #� .��#�#�$ � ��$����� 7������#� &�� � $��$���

������ ��� � $�� ��

����������� �� ����������������������� ���� � ����� ���

�8$����#� &�� � ���$������ #� �� �$�� #� � #� ������� � ������� = �� �� �#�(�$����� ���$� � �� �$�� #� � �� ������� - � �� �$�� #� � �� ������� = �� - �

����� ���

���������� ��� � ������� ��� � �������� ��� � ��

*����#� �� ������ ����������� &�� �$� � ���� � $�.��� � $��$��� - � ����� ��

�� .�$�)�� #� � ��������� ����$� $������.�������

����������� �� ������������ � ���������� ��� � � ����� ���

��������� ��� �������� ��� � �������� ��� � ���

������������ ��� � ������� ��� � �������� ��� � ���

������� � ���������� �� ���� ������ ������� ��� ��� �� ������� ������ �����

��������

������������� �����������

� ��� �� ��� �� ��������� �� �� ������ ����������� ���

�������������� ���������������

& $���������� � ������� '�����

�� �� �������� �� ������ � ��� �������� � �� � ���� ������! �� ���� �������"�

��� ������� � � #������ ����$% &���� ������� � �� ��� ���������� " ��� � �� ���

������� ������� �� ��� �������� ������� ��� �������'���% ���'� �� �� �� ����� �� �����

�� �� ������� " �� ��� ��������� � �� ��� �� ���� ������ �������% (������ ����)

��� ������ � �� ������ � � ��� ������! �� ��*���� � �������� �� ������� ' ����� �

��! ��! � " �% �� �������� �������� ��� �� ������ �� �� �� �� ������� ����� " �����

�� ������ ��� ��������� �� �����+��� � �� ������� �������� ������ ��� � ������ ���

������� "� ��� �� �� ������ �� �� ��� �������'�� �� ���� � �� � ��� �������� ���

���'� �� �� ��� �����'���� �� �� ������� ��! ��! � " �% ,��� �� �� ����������� ���� � '����� �� �� ��� � �� ��'� �� ������� � ���������% &���� ��� � ��� ��*����

� -�''�" �� .-�'/01% �� �������� �������� ��� �� ������ � ����� ��� �����+��

�������� � �� � ���� ������ �������"� �� ������ �� �� � ���� ������ ����� ��

'���! �� � �� ���� � �� ��� 2 ����� �� ���������% �� ��������� � �� ���� ������ � ��

�������� � ����� � ���� �� �� ��� ������� � � ����! ������� �� ������ �� ����� ��

���� ��� ������� �'����� ��3�������� � �� ���� �� ��� ������ � �� �������%

�� ������� � �����+��� �� ����������� � �� � �� ��������� � �� ����� �������!

��� ���'� �� � �� ����� � � ����� ��� �� ������� ������� � ��������'�% �� �����)

��'�� �� ���� �� ��� �� ����������� � ���� ��� '������ ������� ����� � �� ������ �

���� �� �� .2'4/1% 5�� �� ��� ��'��� �� ��� � �����+�� �� ��������� �� ���� " �����

�� �� ������� �����+��� � �� ����)������� ������ ���� .��/61�% ���� �� �� ������� �������� ����� �������� �� �� ������������ ������% 7��� �� �� ��'�� �������� ��

�� �������� �� �*������� ��� �������� ��������! �� �����! �� �� ����������� � �� ���

������ �� ����������% ��! ���� �� �������� �������� ��� �� ��������� �� ���'���� �

�� ��*���� � �� � ������� �� ������� ������ ���� ��� ���� �� �� �������%

(��������������

&������ ��������� � �� ����'�� ��� -898�! :����� ������+ " :�� �� :������� (��)

������ � �� ���'���� � '������� �� �� ���'���� � �� ���� ��� ����%

)�'��������

.,:/41 :% ,'��� ��� ;% :����% ������ ���� ���������% ������ ���������!

/�<00 = <4>! ?4/4%

.2'4/1 :�� �� ����� 2'% &� ������� �� �������� � �� � ���� ������% �����

�� ������������% &��������� �� 2�% �� �� 2������ �! 5���������� @�)

����� ��� ���! ?44/%

.-�'/01 &% -�''�"% :��� ��� ������ ���� ���������% 8� ,���" -����! �����!

������� ����� ��� ����� ������������! ���� ?40=<A6% ,������� �����! ?4/0%

.��/B1 C% D% ��"�% ����������� �� ����� ���������% �������)(�����! ?4/B%

.��4>1 C�� D% ��"�% ����������� �� ����� ���������% �������)(�����! @�E

F�G! ����� ������ ������! ?44>%

.7:4B1 :% 7���� ��� D% :�% ,� ������E � ������ ��� ���� ���� ���������%

8� ����������� �� ��� �� �� �� �� �� ! ���� BB>=B04! H��! -�����"! ?44B%

������� (�����%

.��/61 ��� �������� ��� ���� �����% ��� ��� �� ������% :8� �����! ?4/6%

.�2-�4A1 ,% ������! C% 2��I��! �% -����! �% C� ���! ,% �����! ��� 9% ��������% ��!����� "��� #���� ������$ "����� ��� ������������ % ��� H�� ���� 2��)

����� ��'% 2%! 2��������! ?44A%

.��J061 :% ��� ����� ��� 9'��� JE���G�% ��� ��������� � ��������� ���� �� �

���������� ��������% %������ �� ��� ����������� ��� ������� &�������!<A�B��0AA=0B<! ?406%