Conjunciones

Ahora supongamos Supongamos que queremos responder[br]preguntas acerca de relaciones mas complicadas como:[br][br][br]Juan y Maria se gustan mutuamente.[br][br][br]Una manera de hacerlo es preguntarle a Prolog primero si a Juan le gusta Maria y si nos dice que[br]pregunte si a Maria le gusta Juan. Asi que este problema consiste en dos diferentes metas que el sistema tiene que responder.[br][br]Por lo común de esta pregunta es:[br]¿existe una notación espcial para esto?[br][br][br]Consideremos la siguiente base de datos (conocimientos) :[br][br][img]data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAo4AAAEXCAIAAACs7VKhAAAgAElEQVR4nO2du7HsqhKGFRcBEceEoBpnBzD28qYI4NSEMLUd3OXc2kFwDb1AAvFQI4H4P+PUqbU1CFrAT0MD3W/xKKX+97//Bf4XAAAAuBnd1ULsBzoNAACgZSqQagWvGgAAQMNUINXQaQAAAC1TgVQreNUAAAAapgKphk6D8xG867qu67i4OiegUKYqwnp5dVbA/Tku1d/P+/18Ph7PN4Es21DpXrXsWbcFTashxA/rHl33YP2/uN9BqsE+F0q1/G+s1fzv2a8GF5Es1d/v5/16PhaySfUBrxpS3TZTj9Z1j677E/XZIdXAw2VS/a9nc62OHoOCSomWakOhn8/3+/P9vp85pVrRrVUP0g2pJqF4Yxo9Wtf9RIkupBp4uM6rFlyv2HFjUFAp0VL9fj4ez+fr/fnOf8os1YRr1cWrS00UbkzZ/9G6swckF9yIv1yr2x2mwRuAIqwMXnWTlG1Msy9j/5WZSwDSwEi0Neik+vUhSMoGvOoyKdmYZkeGGUJwP8z1HQxG704FUq3gVRdJwcbE9CBoAPEDx7odKpDqQrxqKXrOmB5RzhjjvYhISw5p6CksCayj1eeWN0WvrP+u5cx8IigWSorezIuWG9kzh5XsIfVOeIB15JgT07Jxhl1nMsKl3tjOXo7Q39N8nUSbGF9nfosUqzp3wLR+tnmQgk9/Ylz7GNrfO+avKUfqyabast74Z9GzoKwQ7ighqfZY5WmICqRaXe5Vy57vKVRAP7OfBuvlmVKt95HW4nCnlSil2pMNVxa8xE0MliXVx2xikUnX92K5fLBVHizl4UIpZfm7q2QE9cQt1fZm6bIOhVSTVnss9LRDBVJ9rVe99LSM9UJKzSvQfeT9NOcmzhgXSxJyGc6zXnjzNuRkv4/1PzNvMeFmccaB/jzMD+z/kifAR5swxnkvzJwMlk3oBpVa7aU+vOs0xObhT/qeobHJ9Jap1rF+qXNyUQrTsyTGELXRj5diLB7nzPb33dEhVT2Zaq2RR7aYaMpL0FAmpT8hLg5pbQcFU4FUqwu96oCtk9LbuJctutZEDLcru1T7E5k6k8xS7WXMR6T7R+xnnCvVXoJs4q1PMkaO0lhk0Kj1moKbLx/ynDR6iKsnY63l2ohl/UMphZBB9SZHE4is9uYcEsIy7ksFUn2dVx3cavYelNw/TtbG95mlOryvv1yqdQcoHPN0iLhjT6zJFSXVQTZZpNr5prRhUASu8d7+39Mc/ajfrtz9Y5U3SxOINAVxhQelUoFUq6u86piO1ZlyoLuwTFZm9qrnF40T4Om9TJFSTb2DpWKp3v0yx3Oyz5BPy8q9I//nSzVFxS1Bqs1pJEj1balAqq/yqiN7s9EVTU5k0vTca9Wu2BjG+LB85s+qns7BfkpuA+u7jjHGOO97flSqj88HXiHVR21yzqBhH2qpJqsnR8YEzsSimwBhtUdkWSNUINXqIq86Lth5hEtLIkEv9OeNsAte7xozCQppPyzV/lDYITMtSTWJTW4m1bT15HKppq72kOpGqECqr/Kq06RaWBIpT6r190oppRBC9FzvQ/x5PiTVevTtJhRdDVmaljVj0q1ZqqlsciepJq8n10p1hmoPqW6ECqRaXeRVk/Rm5Uv1Jh8icMPIAakOWZlvba2azib3keoM9eRKqc5S7bFW3QgVSPVVXjXJWmyBa9UBBBU93T7+ohoviEz7QdlznSbVhDa5jVTnqCcXSnWeao8I8EaoQKrVVRHgJDtaSosADyMkmfSYmsAfJvWqle6rprTJXaQ6Sz25TqrzVHvsq26FCqT6wtPKQra9eN953r7qOWBlfzU0dJ84kVe92Q8WlvoyD+/L7eqHpZ5Wtvt1KG2SKabBvHXRY9jTpDq2nhQu1dHFIavtUvxMSf3hAqeeFUcFUq2uPANcO67M08SGPRbrCHA9jaOnlbmOjxheokfBubrg8U2eAO+xt/CaaU7NmeHphOXVI77pCiNINrpXJV2uDpe0g1+H0CZZpNq0qne6gmQCPEc9uXACPENxyOaQTMnHPV0FUoFUX3yzlnkx0OoU8PF+nLl9+Y75P3QGuD5wmMVWOzi461jf73bB2qCAbY4gVlJPK8RI0jhO3EhGvwXBYhW9ILo99VPVecq+aqVo58BjJO3g1yGzSQ6pXnXl3olWoghw+npyaQQ4dXHobtYy79PEceIFEi3Vn/fzEQqNeqskr9rwYwLYHgWs4blaa2xiu77qznbK4WrAsGbvvAiK8V5K3/nPYwfd+4oTHtPq2SQ65spq0p0fDhu7V49EjLD+kt1XHSdpx77OUZtI69vtMxqxhjW68r3Rj60M2lST8c/OvwvHP8TbxJfCvrF0A9D0J6TVnvC+anjVxRMt1d/TpTrNqyaVaqXUavA7/mi4ICf0dE7bfdXzj4NH6Jv7h/VBwr4YyJ7Nf7aclxR9Aff4ztSLvKXomVkU43fpUk3nWEdPFB/4OuPvk21ilwESqTbCjHeHPtRSfdAmTrPYyS7Vx4szQ7wvEWvVhUMxAZ4ZRbdWXTIke8PABNHcYO5I6TrQVQGHbBTBKsqv9RraABVIdQs6rSDV1ND0ZZBqZc6OYjtQEdAt8YBKqECqVRNeNckmbqCzClpOOR0C4yel9DVRuNRFYB57go/SBBVIdQM6TbKBG2wwgmXie7Td/VftsAgDvLciMMagCNVuhAqkWt3aq5ZLEHXrkpCFKVgmtkeT3vNkWmGea4X3VgzTGJRh8NQMFUj1bXTauZUHOn0d+/HBYdeB3pp5ZgKqAMB1VCDV6i5etUOqGfTgQlxSnbZv7Y785ezRsR8YA4ALqUCq76HTAAAAQBoVSLW6i1cNAAAAJFCBVEOnAQAAtEwFUq3gVQMAAGiYCqQaOg0AAKBlKpBqBa8aAABAw1Qg1dBpAAAALVOBVCt41QAAABqmAqmGTgMAAGiZCqRawasGAADQMBVINXQaAABAy1Qg1QpeNQAAgIapQKqh0wAAAFqmAqlW8KoBAAA0TAVSDZ0G5zPdWMrF1TkBAIAjUv39vF/P52Pm+Xx9vl8yiZ5Q6V61/TJi1uPq3WYQP6x7dN2D9f/ifgepJgANcIP8b6yQ/O/VWQE1kSjV389L02iD5+tNK9cHvGr0FG0zdYtd9+i6P1GfHVJNARrgin89mytk9PARtEyKVH/fT4sb/f1+3pN+PynVWtGtVQ89R8M9BSXFG9PoFrvuJ0p0IdU5KL7OZEdwvU7GDR9By8RL9STUr49Njr+f12P858MaPUK4Vo2egpDCjSn7P1qf+IDklkDhdeYU/nKtWnaYBgdhREv1INR7bvPX/0gUCl51kZRtTLNDZP+VmcvWKLvOnAQGkSCBSKkeZfi1r8KDZ03lV8OrLpOSjWn2hphmLIWS68yJmEszGEeCAGKl+vMMEOFB0KncagWvukgKNibmGAul4DpzLuIHjjWIIsu+6kGqb+ZVS9FzxvSAVsYY70VEWnJIQ09hSWAdLDs33ynAaf13LWfmE0GxUFL0Zl603MieOaxkj+h1wgOsI8ecmJaNM+w6kxEu9cZ29nKE/p7m6yTaxPg681ukWNW5A6Y9ysUN8FAim7rP+lXKS7rMW/OxQAPiyCHVtEpdgFcte76nUP526UmD9fJMqZbCUxzutBKlVHuy4cqCl7jZxbKk+phNtlLt/F7sGkfuwgZ4OBG3VNtT9pgYazQgCnqpJhbqq73qpadlrBdSLj81fOT9NOdWzhgXSxJyGYmzXnjzNuRkvwPwPzOVh3GzOKMvN3sGXisdnMwcbcIY570wczJYNiwX23T1vdSHt66G2Dz8Sd8zNDaZ3jLVOtYvdU4ugwHTKTyHyxogRSLbYihdwNliZzH+cbc20FZUcHeIpXrSacpDUNSFXvWsa+6fSG+7XLboWhMx3K7sUu1PZNKLzFLtZcxHpPtH7KycK9VegmzirU8yREmycG0DPJSI8fRQDK4Ne9Y/k1IIuV9Mc/oHERVgF0qppo0mm7nOqw4Wi70HJfcP2LWheWapDu/rL5dq3XcJxzxiIu7YE2tyRUl1kE0WqXa+KW0YdJxLGiBFItYn/U12H+K6Cm4NmVRn0unfC73qmI7VmfKQiFdvlsnKzF71/KJxAjxdaIuUauptMBVL9e6XOZ6TJC5rgAcTsT53uPabM0CQarAHjVQPJ4Ln0Onf67zqyN5sdEWTE5k0PfdatetcZsb4sELqz6qezkGpltuQ3K5jjDHO+54flerjk4pXSPVRm5wzaEii5Aa4k8iapPkeWzKILAOhHJfq6VQU0vVpHXWRVx0X7DzCpSWRoBf680bYBa93ja1kOzCi9phU+6Odh8y0JNUkNrmLVNM1wKOJuIqRaoY5GUg1COWgVGfX6d/rvOq0Ri4siZQn1fp7pZRSCCF6rstE6CxgolTrgbObUHQ1ZGkKb4tJt2apprJJ21Jta4BHE3EVI9UMczKQahDKEakeL8LMqtO/13nVJL1Z+VK9yYcI3BN0QKpDVuZbW6ums8ldpJokj1kKmkWqsVYN9kiV6vEGrSfh/mkXV3nVJGuxBa5VBxBU9HT7+ItqvCAy7Qdl93eaVBPa5C5STRMMkSP4kUiqEQEOwkmS6uEk8FxhZGvUVRHgJDtaSosADyMkmeROMC7ONrJDrHRfNaVN7iLVNA0wx740GqnGvmoQQfJ91Sfp9O+lp5WFbHvxvvO8fdVzTNL+amjoDlMir3qzHyws9WUe3pfb1Q9LPa1s9+tQ2iRTTIN5dWOaYa9ogDSJGJBINV1FleJnSuoPFzj17J6kXYL59CxPf153uVlLO+jI04sO22hssaNUp5XtHiMmZrXf6YLHN3kCvEdB8JppTs2Z4elw5NUjPkfHiIOO7hBJl6vDJe3g1yG0SRapNq2aOl1xTQOkSUR/jkCqyaZ/TMnHPV13JUqqx3uovRJMexzKxTdraX3kOi5XyvEKpLkLdbQSmjPA9S5nFlvtbOiuY32/2wVrgwK2OWVaST2tECNJ4zhxIxn9AgOLVfSCuM5j5in7qpWinQOPkbSDX4fMJjmkeqUHqbO1VzVAmkQ2xYgoxZq/ZDdrmfdp4jjxu5Ig1aFc61UbfkwA21N8NTyX8swdwI6hd3bMMr7crBV2FYMjEek7/3nsoHtfccJPfvTsAx5zZTXpzg+Hjd2rRyI6+L9k91XHSdqxr3PUJtL6dvuMRqxhDT0IGv2U1gCPJRJzpVzQcgndfdXwqtugAqlO86pJewqllNreNt0NR3z1vmP53SnoTnaww7G5f1jvXvbFQPZs/rPlSKyE+3+VUir5CmApemYWxfhdulTTOdbRE8UHvs74+2Sb2OWERKqNWOWwoU+JDTA9EVqpJt5SiLXqFshxXzUxim6tumSyH6ndFkQTjBdFSheGLi04qeMoqwC91isXCKMCqW5BpxWkmhqaDhFSrcwpVuwpOgrd6gxoiQqkWjXhVV91LeGNWQUtpxwxgfGTUvrCKlzqo5jHnsCeIJQKpLoBnc6w9ROoVcRNfLe4u/+qHRZ1gQt4FGP4iFBtEE4FUq1u7VXLJYi6dUnIwhRxE9stSu95Mq0wT9jCBaRgGj4yjHtADBVI9W102rmVBzp9HfuhvWHXgd6aeWYC0gLAdVQg1eouXrVDqhn04EJcUp22b+2O/OXs0bEfGAOAC6lAqu+h0wAAAEAaFUi1uotXDQAAACRQgVRDpwEAALRMBVKt4FUDAABomAqkGjoNAACgZSqQagWvGgAAQMNUINXQaQAAAC1TgVQreNUAAAAapgKphk4DAABomQqkWsGrBgAA0DAVSDV0GgAAQMtUINUKXjUAAICGqUCqodMAAABapgKpVvCqAQAANEwFUg2dBucz3VjKxdU5AXdmqme4rx7sc0iqv5/36/l8zDyfr/fn+6XS6BGV7lXbLyNGq2gI8cO6R9c9WP8v7neQ6sysrm9v1NAXSrX8b2wa/O/ZrwbxpEn192NI9Irn60Mp1we8akh120ydUdc9uu5P1GeHVOcGUq3UhVL9r2dz04geyILzSZDq7/tpd6K/moK/PmRSrejWqgfphlSTULwxjc6o636itABSfRqDqRs19HVeteB664gbyILziZfqz/v5eDyeb5fjPCk5mVgTrlUXry41UbgxZf9H64kejSpBDTQt1Vfyl2sNpMM0eNlkCSv7vCi1WsGrLpKyjWl2Q+y/MnMJFKT6OjCcrYg8EeCf167jHQe86jIp2ZhmH4TJvaKBVF+HuUiEEW3BVCDVCl51kRRsTMzs1QSk+krEDxzrKqhgArwQr1qKnjOmR5QzxngvItKSQxp6CksC62j1udF4I2Xl6omgbk+K3syLlhvZM4eV7CH1TniAdeSYE9OycYZdZzLCpd7Yzl6O0N/TfJ1EmxhfZ36LFKs6d8C0aWyajlmWUKm2tUDeCxlQx9bVlvWrhJdkmVFptyaVgrP5Ua1uaX9fpeHLzJij8I+SXhwbWCqqA3qp/g5C/XhRbdhSl3vVsud7CuVvDZ40WC/PlGq9U7EWhzutRCnVnmy4suAlbk6vLKk+ZhOLrri+FzvJfdot0NhwAqTaW2X3W6Bb2+zNcrHOyqSWbHChlLL83fmhckq1rziO5LBaVAGkUv39fl70m7Wu9aqXnpaxXkhtCG/4yPtpzm2LMa55AXIZ/7JeePMW4n34n5l3h3CzOKMvN4/HvVY6OAE+2oQxznth5mSwbHQPNv5Y30t9eMNo+OQsxdehscn0lqnWMc3zlIvoma5YDhZJMb1frSwd66XPKoYbKzYtME7rplprZm8xkRj/aGbHEMdxWkKOj45D283fY3OU1I7SirNOhLTJgDwclurRh14dgUKg0DPqQq86YNej9LaGZYuuNRHD7cou1f5EJr3ILNVexnxEun/ELsK5Uu0lyCbe+iRD+u/DeKr92jl0ZGYeb7gd52UgHPC1x1rLtRHL+sVSivWs+pJV1/S4mf2h7GGDIQqpjizOGnMiCrEdRXJcqt/msWXPN+lRZb9XetXBYrH3oOT+bkQbEGeW6vC+/nKp1j2GcMyDHeKOPbEmV5RUB9lkkWrnm9KGQTGMmfC8QXryGjyoEAGtzEgxWNv1X22e3//7aVIdW5wNxK0GZIBuAvz7/byn6W/So0XVVV51TMfqTDlwfL1MVmb2qucXjRPg6UJbpFRTbz6pWKp3v0zmqOuIocDesXCShyuQCHs2ygVf/coSiOD4HOdL9bF2aM5FQapLhD6s7HOX08oie7PRFU1OxN/VEImBI6yFMT6skPqzqqdzUKrlNqy36xhjjPO+50el+vhU3hVSfdQm5wwadompGtLpf0dmMuilSVM1pUv14bADRJaVT5bNWuPZokRirS7yquOCnUe4tCQS9EJ/3gi74PWuMZOgkPbDUu2Pdh4y05JUk9jkeqmOS931dGwFC3orpNqeDKS6dDLdV/31HBQew1VedZpUC0si5Um1/l4ppRRCiJ7rMhG66nd4jY1tQ9HVkKVpHTAm3ZqlmsomrUp10POQansykOrSySTVlKegqIu8apLerHyp3uRDBO4JOtDFhKzMt7ZWTWeTVqUaXnUyWKsun1xSPbjVJFJ9lVdNshZb4Fp1AFH+Sbx9oiKAGokAJ7TJ9VKNterKpBoR4OWTdQK8bq+aZkdLaRHgYYQkk9zFhP4wqRuqdF81pU0KkGqiCPDA8UvMs5BqC9hXXQE5w8qIzha98LSy4N2ae+88b1/1HJO0vxoauk+cyKve7AcLS32Zh/fldvXDUk8r2/06lDbJFNNgXpjoM+y8r9pXorHin7uvGlJtJELWZKT4mZL6wwVOPaMkUqqHK7Ne769bhKczwO9xX7V2XJmnzxm20awjwPU0jp5W5jpvYXiJHgXn6tnC+s9RELxm8p5yIacjiVeP+HwuIw46uhsiXa4Ol7SDX4fQJlmk2rRqyHSF96Q/c9fguaeVQar1NIgmokzJxz1dtMR61fMh34/n8/X+fDXN1s9AIbsB8/fqM8BXN+msTgEfr0Cau1BPf3PsDHC995v7rdU5yP1uF6wNCtjmlGklV2cz+03Dl7T0UplGsVlFL4huT/1UdZ6yr1op2jnwGEk7+HXIbJJDqle9cNgcqTZZVOIZ4BHcWar/kt2sZd6niePEaUmZANcU2QrpWWWpXrXhxwSwPTtXw3O11tyL7Bh6Z8fscJdeWIvVPfBNItJ3/vPYKfa+4oQfuOjZBzzmymrSnR8OLtTqkYjO7C/ZfdUpscypX+eoTaT17fYZjVjDGr1wxOgn/GYtLcPb1I/crLVr1X1j2X+szZwZ/+z8+5w5ik7pUHEsEN5XDa86J+lr1d/P+/V66pr9HBxtQpX+/f1N9apJpVoppba3TXfDEV9BN+baU9Cd7ODB9eb+4e3dv1ORrKvE458tR2JFX8A9vjP1Im8p+tU1xsbv0qWazrGOnig+8HXG3yfbxN6Jk0i1ESEcPfQJuq9ay7BrwjztvmpI9Q7EmxuxVp2PXJu1CFF0a9UlQ7I3DEwQTetljpSuBL1Dx/kY92EVKth6NS+bCqS6BZ1WkGpqaLohSLUyJzaxk+c+0K0TgfxUINWqCa+aZBM30FkFLacc7IDxk1L6ciZc6vtgHnuCL1s6FUh1AzpNsoEbbDDiXOI7o939V+2w9OlwvO6DMZBFqHb5VCDV6tZetVyCW1uXhCxMcS6xnZH0nifTCvM0KRyvezENZBlGYDVQgVTfRqedW3mg09exH1Abdh3orZlnJtChA3AdFUi1uotX7ZBqBj24EJdUp+1buyN/OXt07AfGAOBCKpDqe+g0AAAAkEYFUq3u4lUDAAAACVQg1dBpAAAALVOBVCt41QAAABqmAqmGTgMAAGiZCqRawasGAADQMBVINXQaAABAy1Qg1QpeNQAAgIapQKqh0wAAAFqmAqlW8KoBAAA0TAVSDZ0GAADQMhVItYJXDQAAoGEqkGroNAAAgJapQKoVvGoAAAANU4FUQ6cBAPdkuhkX99WDfcik+vN6TDzfX6pUf38PedX2y4jRKhpC/LDu0XUP1v+7OitHWd13zsXVGQLHuVCq5X9j0+B/z341iIdIqjWhJpfqA141pLptps6o6x5d96f2zw6pviGXSfW/ns1N4w4D2dtDItXf93NU6Pl/CFF0a9WDdEOqSSjemEZn1HU/t5G2oXuHVN+B67xqwfXWUf1A9vYQSPUg1I/X5/c3i1QTrlUXry41UbgxZf9H64kedxI2SDWg4C/XGkiHafCyOS7Vw9z36/P7+5tHqhW86iIp25hmN8T+KzOXaUCqAQk3Hs7ej6NSPQj1LM7wqtuhZGOafdDdJvcg1YAIc5HoXiPam3FMqldCDa+6JQo25s1n9iDVgAzxA8e6Co5Itb5IPXJjr1qKnjOmR5QzxngvItKSQxp6CksC62j1udF4A3/l6omgXlyK3syLlhvZM4eV7CH1TniAdeSYE9OycYZdZzLApXZZVUphZib2KxPUk20aZgq7Ur35RKxfJb0kzAI+kK08vBcy5wjNKAMXSikpOJszrX1R7e8hpTlS2agMS7gthaTt3Hmp6E6kS7VFqO/qVcue7ylUSIe3mwbr5ZlSrXdv1uJwp5UopdqTDVcWvITN6dmsuvudDYVwlIiinuxZZUwhUart2WPuyuKtKOnDqX1WUm3JBhdKKcvfXVWGoLJRGZZCqknbzr1Xi25DslRv5r5/f3/v6FUvOshYL6TmTBg+8n6ac+tkjGv+iFxG4qwX3ryFzHv6n5l3h3CzOOMYfR6hB3ZdyRPgo00Y47wXZk4Gyyb0YEqt9lIHbBidLLZ8I8Nn1PLikzXCerKTCdbL0Anw6QuZKbM5ZTH+0ZqS4caKTXmSFCYSQ9TYOOMzZnocUG7+vjvEpKpshwzrSiymUyIuTmSTAVeQKNV2ob6fVx2w61F62+WUiMMJMZzi7FLtT2TqBzJLtZcxH5GrZ9EuguFeO0sj92vCGfVk7Y8FSzUXi8yvfyOlsM1lT2/acZyXoU3uGrA2iWYG0waDAc156bhXBVa2dMO6EyO1YmTbMSeibhfbcQ+SpHqa+94q8r286uAKv/eg5P4OTRuaZ5bqoCIJXoJU675LOObBDgHHnixS7SnKpNaWFQiKeuJM3ZqJmNdFK6oMdQpFQN0+gGvQuP/3JKmO+22qYXffTGrDSFNEtxpwOilSbVuk1v/pLl51TKCtM+XAkf7sxuT2qucXjRPg6R1EkVIdv/lk8WX9qU8fU1r+eqyeRLhB4RlOdHyltZR7mclUCYb8u4ZG24pxvlRTFLwEqTbnoiDVJRIv1dPct/Uf7+RVR26JGV3R5ET8nR7NWrUrrIUxPqx8+bOqp3Owi5HbAOOuY4wxzvueH5XqkKm8yZuNqBNmlkjqSYwtZZD/rVKlK7I8GQds1FJNVtmOjAmciUVbkLDtILKsfGKl+utYpB65k1cdF+w8su7xw1/ozxuRVCul1HrXmElYaO9RqfZHsQ6ZOUWqQ5VpfFovM0U9ScpEHqmO/awZN3kTSjVtZbtcqqnbDqS6fCKlelylDuL1oVHsq7zqtC5YWBIpT6r190oppRBC9Fxv/v48H5JqPXB2E4quhixNK5Ix6Z4k1frTFPWkYqnOuA5CJdXkle1aqc7QdiDV5VOBVKuLvGoSd6F8qd7kQwTu9TjQR4eszJ+7Vn1AJSnqScVSXbxXnaGyXSnVWdoO1qrLh+i+6ok7rVWTuAsFrlUHEFT0dPsExiKdGgGevlZNUk+wVm2BRKpzVLYLpTpP20EEePlUINXqqgjwtI29K0qLAA8jJJn0cJjAHyY6hYn7qtOHUxT1JGMEeLSixER1Fx8BnqWyXSfVedoO9lVXQAVSfeFpZRT7Rk/cVz3HmriecfV99ueIvOrNfrCw1Jd5eF9uVz9MOq0s4DO791WT1JM59aBM5JTqjPuqV7cuer7OaVIdW9kKl+ro4pCdVibFz5TUHy5w6hklFUi1uvIMcO0YKk/rGHyMjSUAABXWSURBVLZH2OZRqU4rc538MLxEj25y9bFhcjA2dK+ZvId2yOlw5NUjPhfSiG+N7hAjl6sDTyvr90dBlPXEn4nMUq1N8tCeVmZ+Gu+cB8kEeI7KduEEeIbikMWUmZKPe7poqUCqL75ZS64PQ15+LOV4tc3cNHwn9B86A1zvzOcedHUic7/reWuyxDanByu5OmrabxrjOHEjGf0CA4tV9ILo9tRPy+Yp+6qViu16prmK5ZDInTPA9wZSlPWE/AzweDKcAb7qyr0TrUQR4PSV7dIIcOri0N2sZd6niePEaSGQ6uFMlNIiwA0vM4DtKb4aniuT5v5sx9A7OyGHO5vCWuzmEi09EWn++zatsY/vfcUJD0f17O8cc2U16c4PB2du9UiEKsTcV63pnudmrYALI7PWkzkPm1vBFk2PqPUBUk98s5bRle8NoWzF0OYhjH92/l04/sFeDE9lozEsUadE2nYI76uGV52TCqQ6zasmlWql1GrcOv5ouNsm9HRO233V84+DB9dSOO+89km17Nn8Z8tRR/EXKw/vTL2gWYp+72rodKmOcaxXLur2Kx++lTy6noTdVz2TTarteUm+r9oIM94dP1FL9ViOA5WtKKk+XpyZ+M2Nu2CtOh/EE+A5UHRr1SWT8SiJFgme1su4Lxjo6KqAQzaKYBXlh0ZQMhVIdQs6rSDV1IR2Q5Dqc9BnR7EdqAhi1onA1VQg1aoJr5pkEzfQWcUbOw52gFSfw7ImCpe6CMxjT/BRSqcCqW5Ap3Nf/NsqRpyLozOCVJ/CIgzw3orAGMgiVLt8KpBqdWuvWi5hthDqDExxLs7OCFJ9BvNcK7y3YpgGsgyDpxqoQKpvo9POjVbQ6fPZ/RgQbmLm6Q2oAgBJVCDV6i5etUMdWPT+VHAcSPWp/OXs0bEfVHQA0qhAqu+h0wAAAEAaFUi1uotXDQAAACRQgVRDpwEAALRMBVKt4FUDAABomAqkGjoNAACgZSqQagWvGgAAQMNUINXQaQAAAC1TgVQreNUAAAAapgKphk4DAABomQqkWsGrBgAA0DAVSDV0GgAAQMtUINUKXjUAAICGqUCqodMAAABapgKpVvCqAQAANEwFUg2dBgDck+kyVtxXD/ZJkerv+/nw8nx/iaRapXvVsme2C6LRKtpB/LDu0XUP1v+7OitHWV2xjUu170DtUi3/G9sX/3t1Vm5OBVJ9wKuGVLfN1I903aPr/tT+2SHVN6Ruqf7Xs7l93WE0XDLpUk2nxR4U3Vr1IN11toriKN6YRj/SdT+3kbahe4dU34G6pVoJrjex6kfDJVOBVBOuVRevLjVRuDFl/0frRB53EjZINSiGv1xrZR2mwbNRgVQreNVFUrYxzR6E/VdmLtOAVINyuPGYuCgqkGp41WVSsjHN7uNu83KQalAS5krTvYbF5VCBVCt41UVSsDFvPikHqQZlIX7gWOemAqkuxKuWoueM6RHljDHei4i05JCGnsKSwDpafa7v3sBfuXoiqBeXojfzouVG9sxhJXtIvRMeYB055sS0bJxh15kMcKldVpVSmJmJ/coE9WSbhpnCrlRvPhHrV0kvCbOAD2QrD++FzDlCM8rAhVJKCs7mTGtfVPt7UGnSirPNz/Ru4xuFfWTibSn79U1wd02ZEqBogHdebyqEI1L9+bzfr+dT37n1fL7eH2IJV5d71bLnewoV1kXspMF6eaZU692btTjcaSVKqfZkw5UFL2HTcTar7n5nQyEcJaKoJ3tWGVNIlGp79pi7sngrSvpwap+VNFqywYVSyvL3vSqTXhzL0MHVEHbMaUssKONp5ekY73c7PNIGeO8lpxLIs6+a1OO+1qtedJCxXkht9G34yPtpzq2TMa4N4OXi4rBeePMWMu/pf2beHcLN4ozD63lw7bXSwQnw0SaMcd4LMyeDZRN7MGMvdcBez8liyzcynCwtLz5ZI6wnO5lgvQydAJ++kJkym1MW4x+tKRlurNiUJ74zj8cQtdFnlWOmxwHl5u+uHFEUZ11VmJaQXITPnMYILGWsIfUuZTUpIEc/WTOdLW3iBhjb7kAkB6T6+Xy9P5/vd1Hl7/f7eT0LOq1sTXSrCNj1KHc7PD0Rx6jdcIqzS7U/kakJZ5ZqL2M+Ihe+okf3hnvtLI3crwln1JO1PxYs1VwTkfVvpBS2yd9ZjAI8zew1YG0SzQymDQYDWpSSqDjehip9n9j95jgrjjnxTLnL+bGkLxTZAM3ZrNsFiFxOjjPAJyknEuvrvOrgurr3oAxoLprPk1mqg4okeAlSrTuF4ZhnMgQce7L0v56iTB2fZQWCop44U7dmIuZ10YoarDjHpCA0H5vk9/++qTBkxQmwfcL4Mr4dhVUVpZRSPYsdOVhyFpytyKYHYshzXQdp4Jm6yquOCbR1puwc6dt+f4JXPb9onABP72SLlOr4fSOLL+tPffqY0vLXY/UkoosPz3Ci4yutpdzLTKZKIB1C46oY9r/TFSdkZBIfnR/bjtJmm1KIbIDmhBakmphcN2sRavVVXnVkoxtd0eRE/J0ezVq1K6yFMT4sWvmzqqdzsJeW2wDWrmOMMc7H5bYjUh0yCze5KBF1wswSST2JsaUMdaqSpiViy5NxwEYi1YTFIWqAK2LbEa3BCRsgIsuykkuqP6/H4/F4fQiSUhd51XHBziPrHj/8hf68EfYU611jJmGhvUel2h+AOmTmFKkO7VvHp/UyU9STpEzkkerYz5pxkzeFVFMWpwiplmT2pm6AkOqs5JLqYQqcRKqv8qrTumBhSaQ8qdbfK6WUQgjRc73l+vN8SKr1iORNKLoasjStSMake5JU609T1JOKpTrjOsgVUr33fBFSTTQ0ytAAIdVZgVfthKRNlC/Vm3yIwG0aB/rokJX5c9eqD6gkRT2pWKrhVUc/Y3KFVGdpgFirzgrWqmkedlHgWnUAQUVPt09gLNKpEeDpa9Uk9QRr1RawVh2bw0DyNEBEgGclZwQ4jVN9XQQ4SahlaRHgYYQkkyxRoT9MdAoT91WnD6co6knGCPBYqY6K6q4gApyuOGVI9fHqlqcBYl91XiKl+vMKcZaH2W8ipb7ytDKKfaMn7quew0Rcz7j6PvtzRF71Zj9YWOrLPLwvt6sfJp1WFvCZ3fuqSerJnHpQJnJKdcZ91asLEz1fh0aqqfdVXy3V4eVZnjZTz9IA6U4rk+JnSuoPFzj1bCRSqqczRZ+v99eh19N5ZWTHlakrzwDXjqHyVOxhZ4NtHpXqtDLXyQ/DS/ToJlcjDpODsY16zeQ9iUFOp06vHvH5BUZoarTSRC5XB55W1u+PgijriT8TmaVam+ShPa3M/DTeOQ8iqSYrTiFSHVQepfR2lL8BksWUmZKPe7pm4ifAlxPAh7s5ZkH+fj/v6VhRKo/69/fqM8BXd/qsTndenbbrOiN66QeOnAGud+ZzE10dYdzv9hSaLLHNwb/D2cE8ogOWfElLL9X6COJtdvSC6PbUT8vmKfuqlYrtNaa+dTl9c+cM8L2BFGU9IT8DPJ4MZ4CvemHvHCmZVBMVpxipVlp5vEeAWysbdQP8S3azlnmfJo4Tn0lbq/4umpz7so5Ur9rwMgPYHo+s4bkyaW4xO4be2cQ43NkU1mINH3CdiDT/fZvW2I/0vuKEb/IMuNzHnpT9IJb5Z0JuHonozP5G3Fet9a2em7UCLozMWk/mPKwqgZaxXauuCJB64pu1jF54bwhlK4Y2D2H8s/Pvm8wlF0daG53dUzVSXBeRtFMKqG17X4i0ARLeVw2v2sGBsLLBi9Yk+/l8vt4fMomeSPOqaVuFUqsh5/ij4Vqa0NM5bfdVzz8OHlxvrsndXmXsalr6upXllKL4i5WHd6Ze0CxFv3c1dLpUxzjWKzdo+5UP30oeXU/C7queySbV9rwk31dtRAjvjp/ySHVycexWvVyq5/JYalsfVGWJGmD8DklPrrBWbSHXZi1CFN1adclkPEqiRYJn5DLuCwY6eoeO8zHuwypUEC0pExVIdQs6rSDV1IT2IJDqc9AnNrGT5z7ELDaBA1Qg1aoJr5pkEzfQWcUbO85kgFSfw7KcCZf6PpjHnuDLZqQCqW5Ap0k25oINRoiKox+BVJ/C0qfD8boPxmgYodpZqUCq1a29arnEpUKoMzCFqDj7EUj1GczTpHC87sU0GmYYgWWmAqm+jU47N1pBp89n92NAuImZpzfQoQOQRAVSre7iVTvUgUXvTwXHgVSfyl/OHh37QUUHII0KpPoeOg0AAACkUYFUq7t41QAAAEACFUg1dBoAAEDLVCDVCl41AACAhqlAqqHTAAAAWqYCqVbwqgEAADRMBVINnQYAANAyFUi1glcNAACgYSqQaug0AACAlqlAqhW8agAAAA1TgVRDpwEAALRMBVKt4FUDAABomAqkGjoNAACgZSqQagWvGgAAQMNUINXQaQDSma77vNON6FOZcFspaAU6qf5+3u/X8/lYeD7fn+/xhFW6Vy17Zrsg+kZ9FvAgflj36LoH6/9dnZWLgFTfD/nfWKv536uzAk6CQqq/H1OidV7HtfqAVw2pbpupR+u6R9f9afSzQ6rvxr+ezbW64TFoYxyV6u/79Zyd6Nf78yVwo1courXqQbrv1GddSPHGNHq0rvtpsluHVN8QwfWK3eoYtDEOSfX3Pcr080Ux0+2AcK26eHWpicKNKfs/Wnf2aLRTB/fkL9fqdodp8AZIl+pJp7PK9O8vvOpSKduYZl/G/iszlwCkgZFoa6RK9STUrw+lKluBV10mJRvT7MgwQwjuh7m+g8Ho3UmU6s/r8Xg8nu+8/vSAglddJAUbE9ODoAHEDxzrdkiS6sGlPkeoi/Gqpeg5Y3pEOWOM9yIiLTmkoaewJLCOVp9b3hRCs/67ljPziaBoGyl6My9abmTPHFayh9Q74QHWkWNOTMvGGXadSb9LbRSEC6WUFHz6E+Pab7S/d8xfoCPF2ViX9cY/i54FZYVw4wP914liU7PttSz09zRtJ9Em2yo3ZsDsEWJMi1WehkiR6nOVugCvWvZ8T6ECOvD9NFgvz5RqXXysxeFOK1FKtScbrix4CZoYXPWblqxwoZSy/N2VKYLiuKXaXnuY4ztTSHWurxNHWVJ9zCaW0aGrNbk+rCVNLPS0QopUn6vUF3vVS1tmrBdSau6W7iPvpzm3Sca4WJKQi5/EeuHN25CT/Vbsf2beu8PN4ozewjzEDxSW5A57tAljnPfCzMlg2bBcbNPV91L7dp0aneXo0Egx5ozPeTD+vjuIoSrOZFwjj0MNVEopNeUlqE9PqfaZvg4tIS0i/EnfMzQ2md4i+6V2ySUZPnco/kKpyNoOaiZBqr8vM57s+3nrJ6A8qUPC1YVedcCeVOntNZdNoHYHTx/YZ5dqfyJTj5RZqr2M+YhcgovzMxYZND6OpuDm6wfrBXaj1lcFFmc0Lte67vUPpRRCBhk/x5dK+zrEnCvVXoJs4m3tMmYUtppDQljGfUmQ6o8m1Z+X45gyQqf7Oq86uDvae1By/2Bbc5wyS3V4b3K5VOueZTjm6RC+Y09cw5L9vydJddxvV+7+MRtn+VJHTEFFYVIdZJNFqp1vihoGxVV4UC1HpHr4n3Fr9aTM3+8k31Rqra7yqmOarjPlQD9smQ7L7FXPLxonwNO77yKlOnIHy/AKyxKm49XnSzWFfSHV5Un17teI63n+QKpbIF6qxx3Vr9drR5C/nxeZWF/lVUe23NEVTU5k0vTca9WuoCPG+LAG58+qns5BAZDbwPquY4wxzvueH5Vq73wgtVSTFYdUCJO/FPXXoeYKqT5qE+pBAyLLGiHZq/Y6zp8X0Qkp6iKvOi7YeYRLSyJBL/TnjbCRr3eNmQSFtB+Wan887ZCZSqSatjiXS3WWr0PNyVJNYhNINUjiiFR7nOb38/KbtdacINXCkkh5Uq2/V0ophRCi53pH5M/zIanWw5o3oehqyNK0XhyT7kVSTV6ca6U619eh5kypprIJpBokkbJZazyqzOcxD1LteSgAdZFXfXzpStUg1Zt8iMBdJwekOmRlvqK16gzFuVKq830das6Tajqb5JVqrFXflvQjUB7P9/5jVFJ9lVdNshZb4Fp1AEFFT7ePv6jGCyLTfkT0XCRSnaM4F0p1zq9DzGlSTWgT6laMCPBGSDsDPOgI8PeTJrBMXRUBTrJ1tLQI8DBCkkkPVgr8YZIYpOyrPibVWYpznVRn/TrEnCXVlDYhbsXYV90Kidd1TGHgH88TFGFlF55WFrKxwvvO8/ZVz1Ev++ttofvEibzqzX6wsNSXeXhfblc/jD+t7ASpji1O4VKd+nVWVzcePV2LUKp32w6lTWilmu60Mil+pqT+cIFTz4oj+b7qMbjMfjLZl/LmLXXlGeDacWWedjps1FhHgOtpHD2tzHUux/ASPQrO1cjHN3kCvMcux2umOTVnhqejq1eP+KYrjEjbaLmKWa4mmQDPUZwLJ8Azfh3z0xyPgYqQtGNth9AmpFJNFlNmSj7u6SqQZKleIsH1A1CGE1Boj0C5+GYt88al1Sng4yU7cyP13Z9w6AxwfeAwi612+nDXsb7fbeTaoIBtzjFWUk8rxEjSOE7cSEa/XsJiFb0guj31U9V56s7diP6LKAKcvjiXRoDn+jorPTg+Wxu3pnuo7ZDZhFKq6W7WMu/TxHHiBXJAqn93zhX1x4eHo5K8amOkHMD2jGUNz9VaYzvd9VV39mQOdy6G9afOq4YY76X0nTA8dgG9rzjhwcKenaZjrqwm3fnhsLF79UjECOuv975q2+u1GRHjn51/F45/SCrObgrrnDrrKlG1z/N1DD2g2FYUF5lxrO0ctYm0vt0+3xRoWML7quFVF88xqf79/f39ft4v7bqO59PwsglI86pJpVoptRpBjz8abtkJPZ3Tdl/1/ONg12dzw60+SNjvbmTP5j9bDl2KvoB7fGfqRd5S9MwsivG7dKn2O9bUUn28OEVJ9fHi2PKmxyqTBEBFB1EeaDvj75NtYv++B6Q6cl+iD6xVF85xqc6OolurLhmSvWFggm5uENCgSwvRSR1E+x1qZBWg16QN2qICqW5BpxWkmhr0ZWWhT7FS7SlqV6r9SzzgZlQg1aoJr5pkEzfQWcUb43SIS1kWVskOv2x2dGsee4LDRJugAqluQKdJNnCDDUawDHq0K1nUhcoF3N1/dWuMMShCtRuhAqlWt/aq5RJE3WCnk58pWAY92qXME7Y0AybpPe3n3kxjUIap72aoQKpvo9POzSLQaXBv5umNSGnZD4sPu6wVgDtQgVSru3jVDqlm6HHA3fnL2aNjP7EV3SXVabsKAaiXCqT6HjoNAAAApFGBVKu7eNUAAABAAhVINXQaAABAy1Qg1QpeNQAAgIapQKqh0wAAAFqmAqlW8KoBAAA0TAVSDZ0GAADQMhVItYJXDQAAoGEqkGroNAAAgJapQKoVvGoAAAANU4FUQ6cBAAC0TAVSreBVAwAAaJj/AxaRUZEqbYCdAAAAAElFTkSuQmCCAA==[/img][br][br]Queremos preguntar:[br][br]¿A Juan le gusta Maria y a Maria le gusta Juan?[br][br]Estamos interesados en la congruencia de estas dos metas[br]queremos satisfacer y asi lo presentamos en Prolog.[br][br]?-legusta(juan,maria),legusta(maria,juan)                     (NO/FALSE)[br][br][img width=550,height=60]data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAZwAAAAtCAIAAAAVwkoKAAAC0ElEQVR4nO3W27LCIAyF4b7/S3df7BmtEBahcjL9vyunRggHlx4nAARyrG4AAHoi1ACEQqgBCIVQAxAKoQYgFEINQCiEGoBQjpcuA3XpaYJSqz+0hFxT860rjXG+uw0+rs8fOqzu3ivvkmtfjjBn0ief99WNXBvUSd9JOd9/j90HQu25CLXYHrsPY0Pt+FR6/v/WtUbXm89L81abLNU7+8nrzXnFpHlXerGiH8+6koJqn6LYcy5mz7q+2r9Yl2gyf3faPnvqnfuT14t5nf0E897EDmNlN8YsEGXma31xq51Xu3IWe+5Nci91Y+fnhjjvpZiiaWn+JkUnZsGG57t8n53F3e/bc0PNPM6EayzfOK2X/jpUdVJz6mq9WILuJxm/6dv4qsm35V7/ZjroQ/zyG/gr57t8n51Ddb9vTc2EoX67msfyXYsbl/76sDqLLtCL9fT2Tf/mdMmX7Xb/Nz7Y6xvoLFt1vsv3+cZQXe7bc0Ot21ju61j95bk+19c6LxsRaqIfQi1/stv5Lt/n1qF63bfnhtr3KxeX2HyefDYf6szOVYyTP0yKb99XTz/n5duSFFdvf/5xz/h6vUdh//37UNoEPb5ztOp+lmYv9VNd17b7bL5V3Z+8z+R1dV7RTwzrlzd/i5su2YRJVzFb6t7nVuc7n25maKtb7cNMa5Zd+iWc2YDZz5Jmlhj9ddrqfHczYXM234GhFvyKmia3ASAqQg1AKIQagFBmZwqhBmAoQg1AKEaylEKn9Nr8iGs+Qg1Ab0aslHKnGnCenCLUAAxVzJTr8+PzH1nymlADsA9XqJkPdahV5iPUAIzxzpQkXHSoXcMor+SfGoBVjGQRiVOKJH9IEWoAhir+RyvFzeuhyEE1H6EGYCTSBEAohBqAUAg1AKEQagBCIdQAhEKoAQiFUAMQCqEGIBRCDUAohBqAUAg1AKEQagBCIdQAhEKoAQjlD7cGTATTMlEOAAAAAElFTkSuQmCCAA==[/img][br][br][br]La coma es pronunciado “and”, “y” y sirve para separar cualquier número de preguntas (metas) que tiene que ser satisfechos con el propósito de responder una pregunta, de dos partes.[br][br][br]Cuando una secuencia de metas (separadas por comas) es dado a Prolog, este intenta satisfacer cada meta en turno mediante la búsqueda una relación en la base de conocimiento.[br][br][br] Todas las metas deben ser satisfechas con el propósito de que toda la secuencia será satisfecha.[br][br][br] Las conjunciones se utilizan para obtener repsuesta mas complejas e interesantes.[br] [br][br]Pruebe la siguiente base de conocimiento, en Prolog
[br]Ahora bien, habrá algo que les guste en común.  Una vez mas esta pregunta consiste en dos metas.[br][br][img]data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAnwAAAE+CAIAAACY91r7AAAgAElEQVR4nO2du7HsqhKGFRcBEceEoBpnBzD28qYI4NSEMLUd3OXc2kFwDb1AAvFQI5D4P+PUqbU1CFrQP82z+22J//3vf0qpkP8CAAAA5HSldfBUVJjiQncBAADkoC3RheICAAAoSFuiqxDpAgAAKEdbogvFBQAAUJC2RFch0gUAAFCOtkQXigvOR/Cu67qu46J0TkClTFWE9bJ0VkB2qhLd7+f9fj4fj+c70wtUeqQre9ZtQSNpCPHDukfXPVj/L+53EF2wT0HRlf+NtZr/PfvVrVKD6H6/n/fr+VjIJroHIl2IbttMvqnrHl33J+qzQ3SBh2Ki+69nc62O7k2CNEqKrqG1z+f7/fl+38+coqvo5nQHEYboklC9MQ3f1HU/UfIJ0QUeykW6gusVO643CdIoKbrv5+PxfL7en+/8p8yiSzinW71OXInKjSn7P5pjekA8wY34y7W63WGQOT81DC9rINJtkrqNaXol9l+duQQgDfQpT6ZK0X19MiWPSLdOajam6ZIw/gbuhzl7gm5lZtoSXYVIt0oqNiYG30ADiB8Eu6fRluhWEulK0XPG9NXQjDHei4i05JCGnsKSwHql9dyGpvUa679rOTOfCFr9I0Vv5kXLjeyZw0r25eBOeIB15JgT07Jxhl1nMiLM3djOXo7Q39N8nUSbGF9nfosUqzp3wLR+tnmQgk9/Ylz7GNrfO+avKUfqyabast74Z9GzoKwQ7oYgqfaYQzmPtkRXFY90Zc/3tCbAY+ynwXp5pujq3s5aHO60EqXoerLhyoKXuGG3ukT3mE0sguf6XixXXLTKg6U8XCilLH93lYygnrhF194sXdahEF3Sao9plNNoS3TLRrqLz2SsF1JqPXU9bt1Pc26sjHGxJCGXLjbrhTdvQ072vaX/mXmjAzeLM3a+5653oCdLHl4ebcIY570wczJYNsGhKbXam3t4F2OIzcOf9D1DY5PpLVOtY/1S5+Ti881ojxhDnsbYWoqxeJwz2993+3lU9WSqtUYe2WKiKS9BnZIUf0JcHNLaDty0JbqqYKQbsBVPepvpsuXTmogRCmUXXX8ik1vILLpexnxEhmTEff9zRddLkE289UnGCEsai6AZtV7TYvPlQ56T+gFx9WSstVzre6x/KKUQMqje5GgCkdXeHNfB8oVstCW65SLd4Pq/96Dk/r6r1ufOLLrhXru46OpBSTjmuQFxB2JYk6tKdINssoiu801pHZoIXD23/b+nBd9Rv12F4Mcqb5YmEGkK4goPHLQluqpUpBvjIp0pB3bhl6HAzJHu/KJxeDndX1QputT7KC4surtf5nhO9hnyaZnhduT/fNGlqLg1iK45tAPRzUVbolsq0o30S2N4mJzIpM6553Rdq0EY48M0kz+rejoHPY7cLgrvOsYY47zv+VHRPT7aVkJ0j9rkHPnfh1p0yerJEXV3JhbdBAirPdZSnUNboqsKRbpxC3VHuLQkEvRCf94Inel675JJ0HLsw6LrX8Y5ZKYl0SWxyc1El7aeFBdd6moP0T2HtkS3VKSbJrrCkkh9oqu/V0ophRCi57o38Of5kOjqK0c3y6jVkKVp+i8m3SuLLpVN7iS65PWkrOhmqPYQ3XNoS3RVoUiXxC/VL7qbfIjAbQsHRDdkBru1OV06m9xHdDPUk5Kim6XaY073HNoS3VKRLsmcZYVzugEEFT3dPv6iGi+ITPtB6YNOE11Cm9xGdHPUk4Kim6faY/XyObQluqrU6mWSfRW1rV4OIySZ9FUkgT9M8o8X3adLaZO7iG6WelJOdPNUe+zTPYm2RLfgiVQhmy+87zxvn+68RGN/1jB03zFRpLvZlRSW+jLK7cvt6oe1nki1+3UobZJp7t+8S85j2NNEN7aeVC660cUhq+1S/ExJ/eECJ1utaUt0Vcmzl7UjqTyNZVjpv169rKdx9EQq18ECw0v0dV8uZzq+ybM4eWz3XjPNqTkzPJ1su3rEN4RgLPCM9o+k07rh4nTw6xDaJIvomlb1DiGQDC/nqCcFh5czFIdsXMcUb9xZtKUt0S18y5B5Scrq9OXxrpC5pfgOSj909rLeBZhlUzuwtetY3+86U03e2eboVyX1tEKMJI1jnI1k9HPkLVbRC6LbUz/Nmqfs01WKdoQ5RpwOfh0ym+QQ3ZVT9g5jEq1epq8nRVcvUxeH7pYh85ZAHOO8paToft7PRyg0OqySIl0jtghgewSrhueaobGx7MaPO9vzhgvPwhqw81Icxnspfefujq629xUnfD2mZ9PhmCurSXd+OGwUXj0S0Vf6S3afbpw4Hfs6R20irW+3jzLEGtZwynv9GFsZtOEf45+dfxeOf4i3iS+FfWPpBqDxJ6TVnvA+XUS6PkqK7vd00U2LdElFVym16pCOPxouCwk9S9F2n+784+Be8+Z+VF3u99267Nn8Z8uZONEXBI/vTL1oWIqemUUxfpcuunTBbvQw7IGvM/4+2SZ2h04iusYS2d1ODLXoHrSJ0yx2sovu8eLMEO+Ow5zuPpUNL2dG0c3p1gzJDiUwQTTylnuV7zXQ/TuOX6iC1bq21mtoftoS3RYUV0F0qaHxShBdZY49YlNKFdBNoIAw2hJd1USkS7IpGOisFtymnBuAnpBS+twhwtwqMA/EwEc5g7ZEtwHFJdkQDDYYy0PifdPuLqB2WFw8IqoqMHqTWGZ8Dm2Jrrp1pCuXBcCtO/csTMtDYn2T9J400grzSCYiqmqYepMM3aCzaEt0b6O4zg0lUNxy7K9tDbvk8NbMowXw76Bh2hJddZdI1yG6DJ69IC7RTds9dUf+cvbo2A+MAVqmLdG9h+ICAAC4KG2JrrpLpAsAAOCKtCW6UFwAAAAFaUt0FSJdAAAA5WhLdKG4AAAACtKW6CpEugAAAMrRluhCcQEAABSkLdFViHQBAACUoy3RheICAAAoSFuiqxDpAgAAKEdbogvFBQAAUJC2RFch0gUAAFCOtkQXigsAAKAgbYmuQqQLAACgHG2JLhQXnM90D2PrV9gDAFQ1ovv9vF/P52Pm+Xx9vl/y16j0SNd+WSrui28I8TPcwc76f3G/g+gSgAa4Qf43Vkj+t3RWQATlRff7eWlqa/B8vWmF90CkizbfNpOD67pH1/2J+uwQXQrQAFf869lcIaM7gqAghUX3+35aQtvv9/OelPhJqbuKbk538AENt3lKqjem4eC67idKPiG6Oai+zmRHcL1OxnUEQUGKiu4kua+PTVi/n9dj/GeqFxLO6aLNE1K5MWX/R/NuD4hnDVReZ07hL9eqZYdB5otQUnQHyd0LZb/+R6JQiHSrpG5jmq6N/VdnLluj7jpzEugOXpFyojsK6mtfT4dolyrWRaRbJzUb0/RrGMSrhZrrzImYEx/oEV6BgqL7eQbI6SDNVKGuQqRbJRUbEyN4lVJxnTkX8YNg91qUX728zyC6N4t0peg5Y/piTMYY70VEWnJIQ09hSWC90HNuiNOSnvXftZyZTwSt/pGiN/Oi5Ub2zGEl+2pUJzzAOnLMiWnZOMOuMxkR5m5sZy9H6O9pvk6iTYyvM79FilWdO2DaoxRugIcS2dR91q9SXtJl3pqP6Y+LUbno0mpuBZGu7Pme1vhbmCcN1sszRVcKT3G400qUouvJhisLXuLG7uoS3WM22Yqu83uxMsFVwQZ4OBG36NpT9pgYMyDXomrRJZbc0pHu4jMZ64WUy0+NuHU/zbm9MsbFkoRcesesF968DTnZb8r+Z6byMG4WZ4yv5t6610oHhwpHmzDGeS/MnAyWDcvFNl19b+7hrZAhNg9/0vcMjU2mt0y1jvVLnZOLrJuB2jkUa4AUiWyLoXQpZoudxfjH3dpAW1FBZuoV3UlxKY/HUAUj3Vmh3D+R3ha2bPm0JmKEQtlF15/I5Pkzi66XMR+RIRlxAHGu6HoJsom3PskQTchC2QZ4KBHj6aEYXOvArH8mpRByv5jmkAxWHtRNpaJLu35qplykG+z29x6U3N+J1rrLmUU33GsXF109ngjHPHwg7kAMa3JViW6QTRbRdb4prUNznCINkCIR65P+JrsPcV0FOalRdDMp7m/BSDfGRTpTHhLxKscyFJg50p1fNA4vp0tmlaJLvRnjwqK7+2WO5ySJYg3wYCLW5w7XfnNUBqJbNdWJ7nAScw7F/S0X6Ub6pTE8TE5kUufcc7qu83AZ48NMoj+rejoHRVdul5N2HWOMcd73/KjoHh+yKyG6R21yjvwnUXMD3ElkTdIYjC0ZrKW6DFWJ7nReBuk8ro4qFOnGLdQd4dKSSNAL/XkjdKbrvUsrAQ5cDXpMdP0rdYfMtCS6JDa5i+jSNcCjibiKkWqGORmI7mWoR3SzK+5vuUg3rbkKSyL1ia7+XimlFEKInusOP3SMLVF09UWfm2XUasjStKArJt0riy6VTdoWXVsDPJqIqxipZpiTgehehkpEd7zeL6vi/paLdEn8Uv2iu8mHCNyZckB0Q2awW5vTpbPJXUSXJI9ZCppFdDGnWzUViO54m9CTcD+ui1KRLsmcZYVzugEEFT3dPv6iGi+ITPtB6chOE11Cm9xFdGkWDeRY7kckuli9fCFKi+5wAnOuhVNrVKnVyyT7KmpbvRxGSDLJ7ixujWika7voPl1Km9xFdGkaYI7dUTSii326V6KG+3RPUtzfoidShWy+8L7zvH268yqc/VnD0B2LRJHuZldSWOrLKLcvt6sf1noi1e7XobRJprl/80K6NMOWaIA0iRiQiC5dRZXiZ0rqDxc42SoLxa/2e3qmcT+vu9wypB1m4/GHw2YO27pHqhOpdo+KErNu7zjT8U2excmja/eaaU7NmeHpUNrVI77gw1jDG+3aSKd1w8Xp4NchtEkW0TWtmjqEUKYB0iSiP0cgumRDMqZ4486iTJQS3fGeXK+Y0h6UUfiWIc3brdeUSjleBzM7Q0d9pzl7WXces2xqZ/J2Hev7XWeqyTvbnO6rpJ5WiJGkcYyzkYx+BLzFKnpBXOfg8pR9ukrRjjDHiNPBr0Nmkxyiu/LsqWOhpRogTSKbYkSUYs1fsluGzFsCcYxzJsqKbihlI10jtghge3qqhueCkrkp73yznR2YjC+3DIUdZu9IRPrO3R1dbe8rTvg5fZ59pWOurCbd+eGwUXj1SISr/kt2n26cOB37OkdtIq1vt48yxBrW8OxB/ZjaGuCxRGKu1wqajKC7TxeR7im0JbppkS5pm1dKqe1tuN1wjFPvO9jcnYIe+AYHAZv7UXVHse/WZc/mP1uOPUq4n1QppZKvKJWiZ2ZRjN+liy5dsBs9DHvg64y/T7aJXRhIRNdYZxvWiamxAaYnQiu6xBvbMKd7AqVXL5+LopvTrZnsRxm3BdHwXaFVvpWhiwTOcDjKakla65XrIrQlui0oroLoUkPj2iC6yhzAxM6Wo9DNfYATaUt0VRORbqnL1m7MasFtyuED6AkppU9AIsw9inkgBux5GdoS3QYUN8NWQqBWa0ziHdzuLqB2WHQCYdlRjI4glhlfiLZEV9060pXLAuDWnXsWpjUmsQ5Oek8aaYV5OBRhGQVTR5ChB3Mp2hLd2yiuc0MJFLcc+8tSwy45vDXzaAFEAjRMW6Kr7hLpOkSXwbMXxCW6abun7shfzh4d+4ExQMu0Jbr3UFwAAAAXpS3RVXeJdAEAAFyRtkQXigsAAKAgbYmuQqQLAACgHG2JLhQXAABAQdoSXYVIFwAAQDnaEl0oLgAAgIK0JboKkS4AAIBytCW6UFwAAAAFaUt0FSJdAAAA5WhLdKG4AAAACtKW6CpEugAAAMrRluhCcQEAABSkLdFViHQBAACUoy3RheKC85nuYWz9CnuQl6me4T7tyqlFdL+f9+v5fMw8n6/35/slfotKj3Ttl6WifjeE+BnuYGf9v7jfQXQzs7peulFDFxRd+d/YNPjfs199QYqL7vdjiO2K5+tDKbwHIl2IbttMbqXrHl33J+qzQ3RzA9FVqqDo/uvZ3DSiu6QNUlZ0v++nPbD9alr8+pC9T9HN6Q4iDNEloXpjGm6l636ivDpE9zQGUzdq6HKRruB664jrkjZIUdH9vJ+Px+P5dgWzkyaTyS7hnG71OnElKjem7P9oPuXRqE+/Ak2Lbkn+cq2BdBhk3qX48LKHz4tSdRUi3Sqp25imQ2H/1ZlLoCC65UDHNJzaRXdQXXcwHAci3Tqp2ZimN8HQWdVAdMthTsGgb+qmLdFViHSrpGJjYtzsSkB0SyJ+EOyGULvo0g4vVxLpStFzxvTV0Iwx3ouItOSQhp7CksB6pfVc/b2rPOXqiSAHJkVv5kXLjeyZw0r25eBOeIB15JgT07Jxhl1nMiLM3djOXo7Q39N8nUSbGF9nfosUqzp3wLRpbJqOWZZQ0bW1QN4LGVDH1tWW9auEl2SZUWm3JpWCs/lRrW5pf1+l4cvMmKPwj5JeHBuYiAmiatH9DpL7eFFtG1LFI13Z8z2t8ddrTxqsl2eKru4erMXhTitRiq4nG64seIkbMatLdI/ZxKIQru/FTgppdgs0NpwA0fVW2f0W6FYpe7NcrLMyqSUbXCilLH93fqicousrjiM5zMX4qVV0v9/Pi37LUNlId/GZjPVCat1qI27dT3NuJYxxrWculz4p64U3byERgf+ZeY8CN4szxldzH9lrpYPDy6NNGOO8F2ZOBstG+6Lxx/re3MMbEMOHPim+Do1NprdMtY5p0aBc5MsMj3KwiIMZkWpl6VgvfVYxQkuxaYFxqjXVWjN7i4nE+EczO4bMjUMFcnx07KRu/h6bo6R2lFacdSKkTeam1CS6Y1y7OhyD8g2qYKQbsItOeuv1suXTmogRCmUXXX8ik+fPLLpexnxEhmTE3fZzRddLkE289UmGeOLDeKr9OmBzZGbuObiD2aVLG/C1x1rLtb7H+sVSivWY9ZJV1+Czmf2h7GHdGgrRjSzOGnNwCGsgbFQlum/zaKrnm/Q4qt+SkW6w2997UHK/Q9A6qZlFN9xrFxddvRcfjrnlP+5ADGtyVYlukE0W0XW+Ka1DE8OYCc8bpCevwd0DEdDKjBSDVVr/1eb5/b+fJrqxxdlA3GruSE2iO/P9ft7T4DLpQZCqVKQb4yKdKQf2eZehwMyR7vyicXg5XTKrFF3qLRAXFt3dL5N5xXCEqO8d/SV5uJaIsGejwuLVrywT9o7Pcb7oHmuH5vgQRNdClaI78bnLiVSRfmkMD5MT8TsNIrfuWMjBGB9mEv1Z1dM5KLpyuyS16xhjjPO+50dF9/hAWQnRPWqTc+R/l5iqIZ0xcWQmg16aNHxSu+genp7HWiovVYvu73wSJJHsqkKRbtxC3REuLYkEvdCfN0Jnut67ZBK0HPuw6PpX6g6ZaUl0SWxSXnTjUnc9HVvBgt4K0bUnA9H1ULvoTrJLczxGqUg3TXSFJZH6RFd/r5RSCiFEz3WHHzo7dnguim2XUashS9N8WUy6VxZdKpu0KrpBz0N07clAdD3UL7qU52OoQpEuiV+qX3Q3+RCBO1MOOIuQGezW5nTpbNKq6CLSTQZzul4uILpDqEsiuqUiXZI5ywrndAOIihni7RO15qWR1cuENikvupjTvZjoYvWyl/pFl3JWV5VavUyyr6K21cthhCST7CxCf5jkUC66T5fSJhWILtHq5cCeSMyzEF0L2Kfrp3bRna/UJdk3VPBEquDdf3vvPG+f7rwKZ3/WMHTfMVGku9mVFJb6Msrty+3qh7WeSLX7dShtkmnu37wGzmfYeZ+ur0RjxT93ny5E10iErMlI8TMl9YeLW51sVU50h+uDXu+vW06ns5fvcZ+udiSVx3sMmznWq5f1NI6eSOXaiT+8RF/35fJRYZ5wdO1eM3nPP5DTUbCrR3xxkLGGN9qhkE7rhovTwa9DaJMsomtaNWQIwXuam7l37dwTqSC6ehpEg0OmeN/szqKCke58uPLj+Xy9P19NffXTMcju9fstffby6laR1enL43UwszP0eI5jZy/rfmz2QKvzZ/tdZ6rJO9uc7qvk6kxcv2n4kpZeKtMoNqvoBdHtqZ9mzVP26SpFO8IcI04Hvw6ZTXKI7sqfho1AagM4NZ69HMGdRfcv2S1D5i2BNzvGufDwsqatVkjPo0qNdI3YIoDtmaUanmuGZn+w8812dmAON4SFtT09Kt4kIn3n7o7urfcVJ/x4PM++0jFXVpPu/HAIa1aPRLilv2T36aasw039OkdtIq1vt48yxBrW8KcR/ZjwW4a0DG9TP3LL0K5V941l/7E2mmX8s/Pvc+YonNKh4lggvE8XkW5uvp/36/XU1fc5BL/UL0qLdElFVymltrfhdsMxTkE3etpT0APf4A7v5n7U7d2kU5Gss6njny3HHkVfEDy+M/WiYSn61TWrxu/SRZcu2I0ehj3wdcbfJ9vE7o5JRNdY3RrdiQm6T1fLsGs4Ou0+XYjuDsRb7DCnexMU3ZxuzZDsUAITRINmmVf5XgTdNePkhPuwWhzXejXfpS3RbUFxFUSXGhqHAtFV5rAh9pPcB7pZmAZoS3RVE5EuyaZgoLNacJuy5R89IaX0aT+EuffBPBADX9ZDW6LbgOKSbAgGG4yVHfFuZXcXUDss3hnB0H0wuqR3WmacibZEV9060pXLwszWnXsWppUdsW5Fek8aaYV5EBLB0L2YuqQMfakA2hLd2yiuc0MJFLcc+4tBwy45vDXzaAFcM2iYtkRX3SXSdYgug2cviEt003ZP3ZG/nD069gNjgJZpS3TvobgAAAAuSluiq+4S6QIAALgibYkuFBcAAEBB2hJdhUgXAABAOdoSXSguAACAgrQlugqRLgAAgHK0JbpQXAAAAAVpS3QVIl0AAADlaEt0obgAAAAK0pboKkS6AAAAytGW6EJxAQAAFKQt0VWIdAEAAJSjLdGF4gIAAChIW6KrEOkCAAAoR1uiC8UFANyT6b5P3KddOTWK7uf1mHi+v5Qpq/RI135ZKup3Q4if4Q521v8rnZWjrO5j5qJ0hsBxCoqu/G9sGvzv2a++IPWJria55KJ7INKF6LbN5Fa67tF1f67+2SG6N6SY6P7r2dw07tAlzU1tovt9P0etnf+HEEU3pzuIMESXhOqNabiVrvu5jUgNjhqiewfKRbqC663j8l3S3NQluoPkPl6f398soks4p1u9TlyJyo0p+z+aT3ncSaIguoCCv1xrIB0GmXepSnSHkeXX5/f3N4/oKkS6VVK3MU2Hwv6rM5dpQHQBCTfumJJTkegOkjvLLCLddqjZmKY3udvQGUQXEGFOwdyrb0pLNaK7klxEui1RsTFvPm4G0QVkiB8EuyFUIrr6ZO7IjSNdKXrOmL4amjHGexGRlhzS0FNYElivtJ6rv3fRqlw9EeSPpejNvGi5kT1zWMm+HNwJD7COHHNiWjbOsOtMBoS5LqtKKczMxH5lgnqyTcNMYVd0N5+I9aukl4RZwAeylYf3Qubsaxll4EIpJQVnc6a1L6r9PaQ0RyoblWEJt1SQtJ07T8QQUoXoWiT3rpGu7Pme1oS4rt00WC/PFF3dUVmLw51WohRdTzZcWfASNmJms+rudzZ8vaNEFPVkzypjComia88ec1cWb0VJ7xjtsxJdSza4UEpZ/u6qMgSVjcqwFKJL2nbuPRdDRQ2iuxlZ/v39vWOkuygaY72QWgffiFv305zbGWNcixHk0jtmvfDmLWRU0f/MvEeBm8UZ+81zrznQCSUPL482YYzzXpg5GSyb4IuUWu3NDdiAOFls+UZGHKflxSdQhPVkJxOsl6HDy9MXMlNmc8pi/KM1JSO0FJvyJGlFJIY8sXEUZsz02DXc/H23s0hV2Q4Z1pVYjFMiLk5kk2mS8qJrl9z7RboBu+ikt4VNiTgCAyNQzS66/kSmFp1ZdL2M+YicZYruthshr7M0cr8mnFFP1jFSsOhysQj2+jdSCttI8fSmnWB26aTkrgFrk2hmMG0wGNAc9Y17VWBlSzesOzFSK0a2HXNw6HZrIEgoLbrTyPJWW+8V6QZX3b0HJfe7Jq27nFl0g4okeA2iq8cT4Zhb/gMOxFhE11OUSXct4/sU9cSZujUTMa+L1kYZGqiJgLp9AFf3b//vSaIb99tUw+6+mdSGkaaIbjXtUVh0bZO5+j/dJdKNWSTqTDmw9z2HFrkj3flF4/ByelOvUnTjt0As8aU/9eljSstfj9WTiNAkPMOJwai0lnIvM5kqwZB/VydnWzHOF12Kgtcguub4EETXQlHRnUaWrf94p0g3cmPGGB4mJ+J3XzRzuq6FHIzxYYbIn1U9nYPOQm4Xx3YdY4xx3vf8qOiGDJRNEWZEnTCzRFJPYmwpg2JilSpCkeXJ2PWiFl2yynZE3Z2JRVuQsO1gLZWXgqL7dUzmjtwp0o1bqDuy9t3hL/TnjUh0lVJqvXfJJGxZ6lHR9a/AHDJziuiGasz4tF5minqSlIk8ohv7WTNuGiYUXdrKVlx0qdsORNdLOdEdZ3ODeH1otLdUpJvmTIUlkfpEV3+vlFIKIUTP9Ybsz/Mh0dUXfW6WUashS9PMXUy6J4mu/jRFPbmw6GacZaASXfLKVlZ0M7QdiK6XtkRXFYp0Sbrw9YvuJh8icMfBAW8bMoN97pzuAb2jqCcXFt3qI90Mla2k6GZpO5jT9VJ69bKbO83pknThK5zTDSCo6On2CVx9c+rq5fQ5XZJ6gjldCySim6OyFRTdPG0Hq5e9tCW6qtTq5bSNoitqW70cRkgy6QtAAn+YGKgl7tNN7xhR1JOMq5ejtSFmRXL1q5ezVLZyopun7WCfrp+2RLfgiVQU+xBP3Kc7r65wPePyYvbniCLdza6ksNSXUW5fblc/TDqRKuAzu/fpktSTOfWgTOQU3Yz7dFd3yXm+zmmiG1vZKhfd6OKQnUglxc+U1B8ubnWyVVuiq0qevawdNeSp58MifdsoJdWJVK4zAYaX6Ot5XN4yzLGPTdZrJu9xDnI6lHb1iC+sM6RRHtIAAB3dSURBVNZmRru2yGndwBOp+v3+DGU98Wcis+hqAy+0J1KZn8Y7DkEyvJyjshUcXs5QHLJVVKZ43+zOorZEt/AtQ3J9CO3yYynHaz7mSu474/zQ2cu6W5594eok3H43GtYEhm1ObVVydcSv3zTGMc5GMvoR8Bar6AXR7amfUsxT9ukqFetEpvGD5Ui/nbOX97pElPWE/OzleDKcvbxyyt5hTKLVy/SVrejqZeri0N0yZN4SeLNjnOsS3eG0jNpWLxuRXwDb01M1PNfHzJ5p55vt7Kwb7q8Ja3ubC4X0RKT579u0Rm/d+4oTvpTSs19wzJXVpDs/HAKs1SMR/j3mPl1NwTy3DAVcg5e1nsx52NyQtKhzRK0PEG3iW4YMp7zXGbIVQxsbMP7Z+Xfh+Ad7MTyVjcawRE6JtO0Q3qeLSPc0cotuWqRLKrpKqVVfcvzRcM9H6FmKtvt05x8Hd3ilcN7J6xNd2bP5z5bjbOIvfh3emXqBrBT93tW16aIbE+yuwsbtVz58a3J0PQm7T3cmm+ja85J8n66xRHa3J0QtumM5DlS2qkT3eHFm4rfY7YI53Zug6OZ0aybjIQMtEjxolnGfKdDR/TuOX6iC1bo2NIId2hLdFhRXQXSpCXUoEN1z0McesSmlCmJmYZqnLdFVTUS6JJuCgc5qraxjyz9E9xyWuUOEuVVgHoiBj+KhLdFtQHFzX0zaKsbKDodbgeiewuLiEVFVgdElvdMy40y0Jbrq1pGuXJaIQnIzMK3scLoViO4ZzCOZiKiqYeqSMnSDAmhLdG+juM7tPlDc89n9GJBgYuYhB/h3cE3aEl11l0jX4edZ9H5HcByI7qn85ezRsR9UdHBR2hLdeyguAACAi9KW6Kq7RLoAAACuSFuiC8UFAABQkLZEVyHSBQAAUI62RBeKCwAAoCBtia5CpAsAAKAcbYkuFBcAAEBB2hJdhUgXAABAOdoSXSguAACAgrQlugqRLgAAgHK0JbpQXAAAAAVpS3QVIl0AAADlaEt0obgAAAAK0pboKkS6AAAAytGW6EJxAQD3ZLpiEvdpV05h0f2+nw8vz/eX6HUqPdKVPcN98W0jfobr01n/r3RWjrK6AhiX/t6Bq4uu/G9sX/xv6azkpS3RPRDpQnTbZvIIXffouj9X/+wQ3RtybdH917O5fd2hX7tDFaJLp6oeFN2c7iDC16zf1VG9MQ2P0HU/txGpwVFDdO/AtUVXCa43scv3a3doS3QJ53Sr14krUbkxZf9HcwePO0kURBdUw1+utbLuvoPMbYmuQqRbJXUb0/QF7L86c5kGRBfUw417tzptiS4i3Tqp2ZimI7jbqBdEF9SEOY9zrw7uTFuiqxDpVknFxrz5kBdEF9SF+Ll9sNuW6FYS6UrRc8b01dCMMd6LiLTkkIaewpLAeqX1XHO9i1bl6okgfyxFb+ZFy43smcNK9uXgTniAdeSYE9OycYZdZzIgzHVZVUphZib2KxPUk20aZgq7orv5RKxfJb0kzAI+kK08vBcyZ1/LKAMXSikpOJszrX1R7e9BpUkrzjY/07uNbxT2kYm3VOzXN8HdNWVKgKIB3nk2Z6AS0f183u/X86nvH3o+X+8PsRir4pGu7Pme1oQ19p00WC/PFF3dUVmLw51WohRdTzZcWfASNthls+rudzZ8vaNEFPVkzypjComia88ec1cWb0VJ7xjtsxI5Sza4UEpZ/r5XZdKLY+kEuBrCjjltiQVlPK08HeP9rsMjbYD3ntBRlYjuOZt0f0tHuouiMdYLqfWIjbh1P825nTHGtU61XMIO1gtv3kJGFf3PzHsUuFmcscs7d3i9Vjo4vDzahDHOe2HmZLBsoi8y9uYG7B2cLLZ8IyPw0fLiEyjCerKTCdbL0OHl6QuZKbM5ZTH+0ZqSEVqKTXni3XI8hjyNcaQcMz12DTd/d+WIojjrqsK0hOQiYebQQmApYw2pu5RVoC7H2FUznS1t4gYY2+6uRh2i+3y+3p/P97vo6/f7/byeFZ1ItSa6fgfsopO7rktPxNGTNgLV7KLrT2RqjJlF18uYj8gJougetxHyOksj92vCGfVkHSMFiy7X5GD9GymFbWh1lpWA6C97DVibRDODaYPBgBbNIyqOt6FK3yd2vznOimNOPAPacn4s6QtFNkBzhOl2CykqP3t5EmUi2S0X6QbXur0HZUDF1+KQzKIbVCTBaxBdPVALx9ytH3AgxuJJPUWZXJhlfJ+injhTt2Yi5nXR2hisHcecemg+Nsnv/31TYciKE2D7hJ5ifDsKqypKKaV6FtsHsOQsOFuRTe9SVC66xEutVKlIN2aRqDNlZ+/b9vsTIt35RePwcrq7rFJ043cvLPGlP/XpY0rLX4/VkwhnHZ7hxGBUWku5l5lMlUA6JMNVMex/pytOSB8jfmV5bDtKGwFKIbIBmoNMEN3TIVTdUpFuZPMZw8PkRPzui2ZO17WQgzE+TO74s6qnc9Dfyu3iy65jjDHOx2mpI6IbMsY1hQ0RdcLMEkk9ibGlDA10koYKYsuTsetFIrqExSFqgCti2xGtwQkb4L3XUl1AdD+vx+PxeH0IklKFIt24hboja98d/kJ/3gjb/HrvkknYstSjoutfPDlk5hTRDfWS49N6mSnqSVIm8ohu7GfNuGmYQnQpi1OF6Eoye1M3QIhuYYYBZhLRLRXppjlTYUmkPtHV3yullEII0XO9DfrzfEh09dW0m2XUasjSNHMXk+5Joqs/TVFPLiy6GWcZSoju3vNViC5RJydDA4ToFuYGkS5J7a5fdDf5EIGbBQ5425AZ7HPndA/oHUU9ubDoItKNfsakhOhmaYCY0y3MDeZ0SbrwFc7pBhBU9HT7BK6+OXX1cvqcLkk9wZyuBczpxuYwkDwNEKuXizJuGiIJdMutXiZZJljb6uUwQpJJFpvQHyYGaon7dNM7RhT1JOPq5VjRjVqRfIHVy3TFqUN0j1e3PA0Q+3Qz8XmFBLDD2DKR5pY8kYpiH+KJ+3TnhRGuZ1xezP4cUaS72ZUUlvoyyu3L7eqHSSdSBXxm9z5dknoypx6UiZyim3Gf7uoaOM/XoRFd6n26pUU3vDzL02bqWRog3YlUUvxMSf3hopaTrcqJ7nQC5PP1/jqUdzqTiuxIKlXy7GXtqCFPFR3W19tGKalOpHKdCTC8RF/P42qOYY59bG1eM3n36MvptN/VI76+urGsMlozIqd1A0+k6vf7M5T1xJ+JzKKrDbzQnkhlfhrvOASR6JIVpxLRDSqPUno7yt8AyVZRmeJdz51FRYeXl5OXh9sNZmn9fj/v6RBIqij397f02cur+01Wp+quTjl1nc27tOgjZy/rbnlubKujY/vdNq8JDNscuDqc2cojXKnkS1p6qdZHv26zoxdEt6d+SjFP2aerVGz7n7zkclbiztnLe10iynpCfvZyPBnOXl75U+8IJJnoEhWnGtFVWnm8Ry9bKxt1A/xLdsuQeUtgPcc4F5/T/S7qmvu6g9RI14j8AtgeS6vhuT5mrvs732xnU9xwf01Y2zPisnUi0vz3bVqjR+h9xQnfNBhw0Yk9KfsRHfPPhNw8EuGW/kbcp6t5Sc8tQwHX4GWtJ3MeVpVAy9iuVVcEiDbxLUOGP93rDNmKoY0NGP/s/Psmc8nFkdZGZ48ejRTXRSR1SgG1be8LkTZAwvt0EenuMUS2mvg+n8/X+0P+nrRIl7Z+K7XqBo4/Gq7oCD1L0Xaf7vzj4A7v5hrP7VWrrkaiz+9YTqKJv/h1eGfqBbJS9HtX16aLbkywuwpNtl/58K3J0fUk7D7dmWyia89L8n26xurW3Z5QHtFNLo7dqsVFdy6Ppbb1QVWWqAHG79Pz5ApzuqVRdHO6NZPxkIEWCR7vyrjPFOjorvluJye0zGpx3F1bUlui24LiKoguNaG+AKJ7Dvqw4e32kzRMzFTOlWlLdFUTkS7JpmCgs1or69itD9E9h2XaD2HufTAPxLjzl21LdBtQXJKNnmCDsSjD4REguqeweOf7BkPtYfRrK1lmnIm2RFfdOtKVy5pKSG4GpkUZTo8A0T2DeRDyzsFQi0z9Wnb3vlRbonsbxXVu94Hins/ux4AEEzMPOdzdNYO70pboqrtEug4/z6L3O4LjQHRP5S9nj479oKKDi9KW6N5DcQEAAFyUtkRX3SXSBQAAcEXaEl0oLgAAgIK0JboKkS4AAIBytCW6UFwAAAAFaUt0FSJdAAAA5WhLdKG4AAAACtKW6CpEugAAAMrRluhCcQEAABSkLdFViHQBAACUoy3RheICAAAoSFuiqxDpAgAAKEdbogvFBQAAUJC2RFch0gUAAFCOtkQXigtAOtMlhne6sXkqE+5gBCdRpeh+P+/36/l8LDyf78/3eMIqPdKVPcN98W0jfobr01n/r3RWCgHRvR/yv7FW87+ls9IKlYnu92OKrc7ruOoeiHQhum0z+aaue3Tdn0Y/O0T3bvzr2VyrG+5NnktFovt9v55zYPt6f74Eoe0KRTenO4jwnbxPQao3puGbuu6nSQcN0b0hgusVu9Xe5LnUIrrf9yi4zxfFOLIDwjnd6nXiSlRuTNn/0RzTo1H3DO7JX67V7Q6DzPmpQnQnxc0quL+/iHRrpW5jml6J/VdnLgFIA33Kk6lAdCfJfX2yvwqRbp3UbEzTJWH8DdwPc/YE3crMlBfdz+vxeDye77wx7oBCpFslFRsTg2+gAcQPgt3TKC26Q5h7juRWE+lK0XPG9NXQjDHei4i05JCGnsKSwHql9dyGpkUj679rOTOfCFpfIkVv5kXLjeyZw0r25eBOeIB15JgT07Jxhl1n0h/mGgXhQiklBZ/+xLj2G+3vHfMX6EhxNtZlvfHPomdBWSFctE//daLY1Gx7LQv9PU3bSbTJtsqNGTA9QoxpMYdyHoVF91zNrSDSlT3f05oAV7yfBuvlmaKry4i1ONxpJUrR9WTDlQUvQcNuKw9oyQoXSinL312ZIiiOW3TttYc5vjOF6Ob6OnHUJbrHbGLp57lak+vDWtLENMpJFBbdczW3cKS7tErGeiGlFgLpcet+mnPrYoyLJQm5xC6sF968DTnZb4/+Z+YdJNwsztiDn7vdgRKR7HpHmzDGeS/MnAyWDcvFNl19b65vF6Ph9sYgQ4oxZ3zOg/H33e4IVXEm4xp5HGqgUkqpKS9B3jml2mf6OrSEtIjwJ33P0Nhkeovsl9oll2T47FD8hVKRtR0coKzofl/mCqrv562fjfGkXs6sCka6AXscpdf/LZsK7UGX3tnOLrr+RCbfkll0vYz5iJyqiuv7L4JmfBxNi83XD9YLdIjWVwUWZzQu15zw+odSCiGDjJ/jS6V9HWLOFV0vQTbxtnYZ059ajetg+UI2yoruRxPdz8txFBVhIFwu0g12LHsPSu7vAGvBTGbRDfcLxUVXj/bCMc8N8B2I4epg7P89SXTjfrsKwY/ZOMuXOmIKKioT3SCbLKLrfFNUhyauwoNUKhHd4X/GrbqTxn6/kxBT6a4qFenGNEJnyoGx0TLYlDnSnV80Di+nO+IqRTdyH8XwCstUn+PV54suhX0huvWJ7u7XiPM8fyC6J1BUdMcduq/Xa0dav58XmeyWinQj2+AYHiYnMqlz7jld1zIbxvgwV+XPqp7OQVcut4vCu44xxjjve35UdL2jbdSiS1YcUklL/lLUX4eaEqJ71CbU8o+1VOdQQ6TrDWY/L6KzM1ShSDduoe4Il5ZEgl7ozxthc13vXTIJWo59WHT9a0GHzFxEdGmLU1x0s3wdak4WXRKbQHSvSSWi6wlk38/itwytOUF0hSWR+kRXf6+UUgohRM91l+LP8yHR1ZfkbpZRqyFL07xqTLqFRJe8OGVFN9fXoeZM0aWyCUT3mhTeMjQeR+WLYgfR9TwUgCoU6R6f4lFXEN1NPkTg3ocDohsyg32hOd0MxSkpuvm+DjXniS6dTfKKLuZ0c1HF4RiP53v/MSrRLRXpksxZVjinG0BQ0dPt4y+q8YLItB8RPohEdHMUp6Do5vw6xJwmuoQ2oW7FWL18DqWPgQw7evn9pFlKpUqtXibZiljb6uUwQpJJX54T+MMkt56yT/eY6GYpTjnRzfp1iDlLdCltQtyKsU/3JIqL7ryE+eN5gmIhVcETqUKW93vfed4+3Xmdx/68VOi+Y6JId7MrKSz1ZZTbl9vVD+NPpDpBdGOLU7nopn6d1YV0R09QIhTd3bZDaRNa0aU7kUqKnympP1zgZKs15UV3Xk5lP33qS3kLkSp59rJ2JJWnxQ3bBdarl/U0jp5I5TqxYXiJvu7L1VzHN3kWJ4/Ow2umOTVnhqcjg1eP+IYQjFWi0cITM61LMrycozgFh5czfh3z0xxf9RMhTsfaDqFNSEWXbBWVKd64s2hLDaK7rGLWj8YYzsagPRyj8C1D5u0zq9OXxwtH5ubmO4H+0NnLehdglk3t1NeuY32/21w1eWeb82OV1NMKMZI0jnE2ktEP6LdYRS+Ibk/9NGueuhM0whMRrV6mL07R1cu5vs7Ksx8fC42b+zzUdshsQim6dLcMmbcE4hjnLXWI7u/OKZD+tc3hqKRI1+i9BrA921bDc83Q2OJ248edPX7DTXJhntF57QrjvZS+k13Hxtz7ihO+0NWzc3HMldWkOz8cNgqvHonoK/313qdre702SmH8s/PvwvEPScXZTWGdU2ddJar2eb6O4dkpNrfErWA41naO2kRa324fAwo0LOF9uoh0fVQjur+/v7/fz/ulXXjwfBqRLwFpkS6p6CqlVr3a8UfDjSOhZyna7tOdfxwcjmxu4NTlft9xyJ7Nf7YcrBN9QfD4ztSLhqXomVkU43fpousPdqlF93hxqhLd48Wx5U1fZ0uy5Cd62eCBtjP+Ptkm9u97QHQjd8f5wJzuPlWJbnYU3ZxuzZDsUAITdCNvgAZdJIjOcCBaq39FVkvSmrTBqbQlui0oroLoUgOvVBf6ACbVzpZ2Rdc/gQJoaUt0VRORLsmmYKCzWiuLcwOKskxAkh1V2Gw/1TwQA0c/nkFbotuA4pJsCAYbjOUh8E0lWXSCKizb3QV0a4zeJJYZn0NboqtuHenKZQFwg+4jP9PyEPimoszDoTRdH+k9B+beTL1JhoHls2hLdG+juM4tC1BccG/mIYdIkdhf0h12BSUABLQluuouka5DdBl8B7g7fzl7dOwntqK7RDdtbxsAybQluvdQXAAAABelLdFVd4l0AQAAXJG2RBeKCwAAoCBtia5CpAsAAKAcbYkuFBcAAEBB2hJdhUgXAABAOdoSXSguAACAgrQlugqRLgAAgHK0JbpQXAAAAAVpS3QVIl0AAADlaEt0obgAAAAK0pboKkS6AAAAytGW6EJxAQAAFKQt0VWIdAEAAJSjLdGF4gKQznSjJG5svi34xPkpJ7rf9/MRyutD806VHunar+NE1WwI8TNcn876f6WzUohbe+TVHdVclM5QEQp+Yvnf2L7437NffS5tie6BSBei2zaTR+i6R9f9afSzQ3RvT7FP/K9nc/u6eb+2tOj65PTzqiTSXTOI8C29z/lUb0zDI3TdT5sO+d6iOzOUEqJ7+pv1Jnbnfm1B0f2EiO77+Xg8nu8vzTsJ53Sr14krUbkxZf9HcwePRt1xMzQtuiX5y7VW1t13kLnuhVRfWs1FpFspdRvT9AXsvzpzCaiA6Jaikd5t1aJLrbmIdCulZmOajuDOo15gAKJbDnMe56Yd3KpFl1pzEelWSsXGbGXIC8xAdEsifm4f7NYsuuMiKjrNrSXSlaLnjOmroRljvBcRackhDT2FJYH1Suu55noXaMrVE0G+R4rezIuWG9kzh5Xsy8Gd8ADryDEnpmXjDLvOpD/MNQrChVJKCj79iXHtN9rfO+Yv0JHibKzLeuOfRc+CskK4aJ/+66SyaX9mNkJF19aMeS9kQEVN/joZKtvxT0xV2QbuP5tTsejSLlz+/f2tIdKVPd/TmgBXvJ8G6+WZoqu3bGtxuNNKlKLryYYrC16CBrtWftCSFS6UUpa/uzJFUBy3H7TXHub4zhSim+vrpLCbl7H1BYiut97vN+P0r0Nf2bKKblxlm3908wmdekU3g+YWjnQXRWOsF1LrERtx636acwVnjGudarl0J1kvvHkL6cz7n5m3F3CzOGNUM3dvAyUi2fWONmGM816YORksG+1Gxh/re3N9ewcNz8PGOF+MOeNzHoy/73ZHqIozGdfI41ADlVJKTXkJGslLqfaZvk48WvGNiFTLRsd66av4RmgpNs04TrXSvg5dZXPnKOl7kFS2qHZ3QaoV3RyaWzTSDdgAJ71VckrE0ZM2AtXsoutPZPK3mUXXy5iPyAmiuB734mNc44Hm6wfrmQNxwRmLKc5oXC4WXVn/UEoRMiqq8nyptK8TjaftrAM2T+i/E8wu/eIAM6V9nZyVjUJ0D1Y2c4TpdgspahXdLJpbMNINdix7D0rub8ta/zKz6AYVSfAaRFfvgIdj7tb3HYjh6mDs/z1JdON+u4qKjtk4y5c6YopQRsn1NECt12pvgaGjAiKgqRopxn2dnJWNQHQPV7a4pnc1KhXdPJpbLtKNWRDpTDmwuzr3xXNHuvOLxuHldEdcpehG7l4YXmGZJne8+nzRpbDvRUU3IpheAmJLMjzcjiLs2bSvk7Oy0YjusSpiDjJBdM+AfIPuSKlIN3ITwhgeJifib+80c7quNRiM8WH+zp9VPZ2DrlxuV5N2HWOMcd73/Kjoese4qP0gWXFIJS35S1F/nThici2dMXFkMw56adrXqVx0D3/Ke6+lqlJ0J80lT1gVinTjFuqOcGlJJOiF/rwRia5SSq33LpkELcc+LLr+9bFDZi4iurTFKS66Wb5OFHFq6Xo6tuxBb4Xo2pOB6J5Lrji3XKSbJrrCkkh9oqu/V0ophRCi57qbDZ3YOjyNxLbLqNWQpWmqKybdQqJLXpyyopvr60RRRnSDnofo2pOB6J5LNs0tFumSnHFTv+hu8iEC94McaOchM9gXmtPNUJySopvv60SBSPfSoos53dzki3PLRbokc5YVzukGENXdj7dP1HKVE1YvH/SDOYpTUHRzfp0oMKd7LdHF6uVTyam55VYvR6yedFPb6uUwQpJJX54T+MMkX5CyT/eYH8xSnHKim/XrREG0ejmwExHzLETXAvbpnkumzUIDBU+kCt64t/fO8/bpzmtfXM+4mr39OaJId7MrKSz1ZZTbl9vVD+NPpDpBdGOLU7nopn6d1TVwvnOL5n26vsyMrefcfboQXSMRshOppPiZkvrDRS0nW9UmuvSXHOiokmcva0dSeRr+sIVivXpZT+PoiVRyWrtie0TMur3jXsKc2OhQvWbyHl0gp1NcV4/4Qhhj5Wy0L4iZ1iXxgzmKU3B4OePXMT9NyFob75FwUq/3J59IBdHV0yBaRWWKdz13FlUmulnj3NJnL68uBFmdvjxewjK7IN8J9IfOXtZd0Ow8VkfH9rvRsCbvbHOmrpKr42z9pjGOcTaS0c9Mt1hFL4huT/00a566EzSi/RP5QfriFF29nOvrrPxp2AikNgpU49nLEdxZdOluGTJvCaznGOe6RDez5iZGukbkF8D2uFENzzVDc1Pe+WY7+x6Hy73Cms3mQiE9EWn++zat0TP1vuKEL3T17OYcc2U16c4Ph4hk9UiER/Hfp2t7vTZKYfyz8+/C8Q9JxdlNYZ1Tt7bQVPs8X8fwpxHBUPgtQ5qFtqkfuWXo0NehrWwUn5imsi0Q3qeLSDeE9zOr5iZGuqSiq5Ra9fTHHw23sISepWi7T3f+cXBfVQrnnbw+0ZU9m/9sOWwo+oLg8Z2pFw1L0a9uSDV+ly66/mCXWnSPF6cq0T1eHFve9NWt0Qttgu7T1SzkGo5Ou08XortD5D49H5jTLY+im9OtGZIdSmDi/rdqXw3dNd/t5ISWWS2OqyQwJact0W1BcRVEl5pGfMFl0IcNb7efpGH8Uzn3oC3RVU1EuiSbgoHOaq3s3XbrX4xl2g9h7n0wD8S485dtS3QbUFySDcFgg7Eo484eoX4W73zfYKg9jH5tJcuMM9GW6KpbR7pyWVMJyc3AtCjj3h6heuZBSHR97sXUr2V370u1Jbq3UVzndh8oLrg385DD3V0zuCttia66S6TrEF0Wdn0tANflL2ePjv2gooOL0pbo3kNxAQAAXJS2RFfdJdIFAABwRdoSXSguAACAgrQlugqRLgAAgHL8H+lgtLKm65OlAAAAAElFTkSuQmCCAA==[/img][br][br]Si hacemos la siguiente pregunta:[br][br]?-legusta(maria,X),legusta(juan,X).[br][br]Obtenemos:[br][img width=453,height=45]data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAU8AAAAiCAIAAABQssyVAAACdklEQVR4nO2bwXbEIAhF8/8/PV11jjUImCBqvXc1x1B8AV7SZNrrAwBncM0WAABJ4HaAU8DtAKeA2wFOAbcDnAJuBziFptuvX95uEJEkjZbUzFMoK3/vQq+S/1H/FZLH9mUK9nCHGP5lhpxN12mYXv8Hhg/Q1MnW9W8R25d8bH24fQrfe0jrUG+qZHavf4vAvuQzx+3XX1rr5W9NZUBXnta+ntNUkpt67vHivi2UqVLWncFb1L/SYOZpaa4OOfW0COxLPoa4EPX3VokBSpj4WZ8YU7mpyhnsaXxlGF2YR1JXX/atfynMaTCl1F0tfha5sduVC2rXFdGZp3faylTmpuLWZrxyCrqeKn+XDcow54h7UrVErlz/Upinzq08rUNKHj1JSF/yibnaGXv4+vFg2spFcxc94L3b3+hv7TjI7b1hs+ovuv1xH98MgCjJ3GI1MsT556B1ra0CzDwfaThGuF3R88btHneZSVrBG9V/NbfH9iWfsfd2ZXrEdWX3b2Q1cEqe+2IV/HhQPHo+xZhWwebYdcWbIjetv1hGJY8ixlMHp54roi+zWEXHnfwaKTuOE/Mgs/gj4QqXqn8+UX1ZirX0KTeKNAGiniliRIaKWa3+G7GF8g0kAkAIuB3gFOQnQP1tROT2g5MPygywI/ZbxNGewZMAORhvoROsiNsBcohxu/JVZ1e8uH5/shDXxfytxdXetAMkMPavazxpS/cqkZXPyw+tC5OoX8wDcAIT7u2P3a6L9LtdlwfwX5nw3I7bAaYw4Z08bgeYwpzv268b4rqy+F3/WP81YeYpE8aeJsBSMN8Ap4DbAU4BtwOcAm4HOAXcDnAKP1a7IL28/KJUAAAAAElFTkSuQmCCAA==[/img][br][br][br][br][br]

Information: Conjunciones