Variables

Variables
Podemos preguntar que le gusta a Juan y recibiremos respuestas (YES/NO)(TRUE/FALSE). Como vimos en el capitulo anterior, sin mebargo es posible hace rpreguntas mas interesantes.[br][br][br]Podemos preguntarle a Prolog que le gusta a Juan, sin necesidad de saberlo.[br][br]A Juan le gusta Algo o bien a ¿Juan le gustará X?[br]X?-legusta(juan,X).[br][br]Cuando hacemos una pregunta como esta nos gustaría que Prolog nos dijera que posibilidades hay. En Prolog no solo podemos preguntar por objetos específicos sino por objetos desconocidos mediante el uso de variables.[br][br]Cuando Prolog usa una variable, la variable puede instanciarse o no instanciarse. Una variable es instanciada cuando hay un objeto que le da significado a la variable y no es instanciado cuando lo que[br]representa la variable no se sabe aun.[br][br]Prolog puede distinguir las variables de los nombres de objetos particulares porque cualquier nombre que empiece con mayúsculas es tomado como una variable.[br]legusta(juan,X).[br][br]Cuando Prolog hace una pregunta que contiene una variable, Prolog busca por todos lados los hechos para encontrar el objeto al que lavariable pudiera presentar. Por ejmplo si tenemos la siguiente base de conocimientos:[br][br][br] [img]data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAm8AAADmCAIAAAAMdPXmAAAgAElEQVR4nO2dO5LrqhaGNS4GxDg8BJWTHoBjZy4GcMpDcHVC2smtPQhuoBdIIB5aCIz+Lzh1qreMYAnWz+LZ/TXN//73P6VUyH8BAACAZLrSepcXFSalEFQAAABHaFxNIaUAAABOoHE1VYhNAQAA5KdxNYWUAgAAOIHG1VQhNgUAAJCfxtUUUgoAAOAEGldThdgUAABAfhpXU0gpOB/Bu67ruo6L0jkBlTJVEdbL0lkBZJRV08/79brfb7f7K9MLVHpsKnvWbUHtvxDiybpb191Y/y/ud1BTsE9BNZX/jbWa/5796tYpoqafz/v1uN8WsqnpgdgUanptJqfTdbeu+4n67FBT4KGYmv7r2Vyro7uJYJ9T1dQQ0fv99Xp/Pq97TjVVdPOmg7pCTUmo3piG0+m6Z5QuQk2Bh3KxqeB6xY7rJoJ9TlXT1/12u98fr/dn/lNmNSWcN61eAL6Jyo0p+x/N49ygiqAhfrlWtzuM99JRehUSYtNLUrcxTXfD/qszlwCkgc5iJupQ08c7U/KITeukZmOavgZDYaA9zIkM9BeJaFxNFWLTKqnYmBgHAxdAPBGektO4mlYSm0rRc8b0NcKMMd6LiLTkkIaewpLAev3x3DimxQ7rv2s5M58IWjojRW/mRcuN7JnDSvZF0k54gHXkmBPTsnGGXWcyIjDd2M5ejtDf03ydRJsYX2d+ixSrOnfAtH62eZCCT39iXPsY2t875q8pR+rJptqy3vhn0bOgrBDuESCp9pjOoKdxNVXFY1PZ8z0RCXAF+2mwXp6pprobsxaHO61EqaaebLiy4CVuBKwuNT1mE4uSub4XyxXJrPJgKQ8XSinL310lI6gnbjW1N0uXdSjUlLTaY0aDnMbVtGxsujhDxnohpda31iPN/TTnVsgYF0sScukUs1548zbkZN8N+p+Z1/Vzszhjd3nuLAe6qOSR3tEmjHHeCzMng2UTPJVSqz2mh3fjhdg8/EnfMzQ2md4y1TrWL3VOLs7cjM+IMXRnjIalGIvHObP9fbcDR1VPplpr5JEtJpryEtTbSPEnxMUhre2geTVVBWPTgC1l0tv+lq2L1kSM4CW7mvoTmdp7ZjX1MuYjMogi7q2fq6ZegmzirU8yRjHSWJTKqPWayJovH/KcJPBx9WSstVzrVKx/KKUQMqje5GgCkdXeHInBEoHDNK6m5WLT4Iq996Dk/t6m1kvOrKbh7ri4muphRDjmxva4ExusyVWlpkE2WdTU+aa0nkoEri7Z/t/TwuWo366C5mOVN0sTiDQFcYW/PI2rqSoVm8b4PmfKgZ3uZVQuc2w6v2gc6U13BFWqKfW2gS9W090vczwn+wz5tMwiO/J/vppSVNwa1NQcjIGaHqVxNS0Vm0Y6nDGgS05kkt3c86aupRSM8WEqx59VPZ2DrkRul0p3HWOMcd73/KiaHh/4KqGmR21yjq7vQ62mZPXkiGw7E4tuAoTVHguRaGlcTVWh2DRu+eoIl5ZEgl7ozxuhl1xv1TEJWqR8WE39ixuHzFxJTUls0pia0taT4mpKXe2hprQ0rqalYtM0NRWWROpTU/29UkophBA915u5P8+H1FRfT7lZXKyGLE1TbDHpfrOaUtmkJTUlrydl1TRDtYea0tK4mqpCsSmJw6lfTTf5EIGr9A+oacgs8dXmTels0o6aZqgnJdU0S7XHvCktjatpqdiUZF6wwnnTAIKKnm4ff1GNF0SmfaN0LqepKaFNmlHTHPWkoJrmqfZY00tL42qqSq3pJdlGUNua3jBCkklfghH4wyTH96X7TSlt0oqaZqkn5dQ0T7XHflNiGlfTgmchhew18L7zvP2m8/qG/Zm50P2zRLHpZhNOWOrLgLMvt6sf1noW0u7XobRJpvl18wowj2FPU9PYelK5mkYXh6y2S/Gckvrh4rpnKjWupqrkOb3aYUieVjAsbF+v6dXTOHoWkmvn+/ASfdGUy0uOb/Is2R0btNdMc2rODE+noK4e8QX9xrLHaMdHOnUarjoHvw6hTbKoqWlVb9BPMtKbo54UHOnNUByykRhTla98I03jalr4DhnzCozVSb3jTRBzE/Cdln3onF5d22c91A737DrW97teUtNttjkmVEk9rRAjSePIXyMZ/TBxi1X0guj21E8+5in7TZWiHeyNUZ2DX4fMJjnUdOVtvSOKRGt66etJ0TW91MWhu0PGvNztykf+nqqm79f9FgqNwKqk2NSIBgLYHtep4blEZmwFuxHfzjaz4Z6qsJbpvPKE8V5K3xmtow/tfcUJX6Xo2Tw35spq0p0fDhteV49EdIJ+ye43jVOdY1/nqE2k9e32cYFYwxredq+DYiuDNmBj/LPz78LxD/E28aWwbyzdADT+hLTaE95vith04lQ1/ZyupmmxKamaKqVWXcjxR8NVEKHH89nuN51/HNzP3dxXqev4vr+WPZv/bDmNJfrC1vGdqRe/StEzsyjG79LVlC48jR4RPfB1xt8n28TuqUnU1Fg4uts7oVbTgzZxmsVOdjU9XpwZ4s1gmDcdKD3SmxlFN29aMyQbcsAE0SBY7rWv34HuuHE+QBWsFoVdvYbS0biaXkFKFdSUGhp3AzVV5jAg9mBUAd1cBjBpXE3VJWJTks2tQGe1DDVlYzu6OErp83MITKvAPLEBH4WSxtX0AlJKsrEVbDDWVsQ7nd1NL9dh8d2IgarA6CZedvFtJhpXU9V0bCqXZbFX99pZmNZWxDod6T0K4yrMg4qIgaph6iYy9G+oaVxNm5FS5/4JSGk59ld8ht1N1zRzfA/HDS5A42qqWolNHWrK4LIL4lLTtM1CLfLL2a1jTxgDXIHG1bQNKQUAAFA5jaupaiU2BQAAUDONqymkFAAAwAk0rqYKsSkAAID8NK6mkFIAAAAn0LiaKsSmAAAA8tO4mkJKAQAAnEDjaqoQmwIAAMhP42oKKQUAAHACjaupQmwKAAAgP42rKaQUAADACTSupgqxKQAAgPw0rqaQUgAAACfQuJoqxKYAAADy07iaQkrB+UzX5139rnAALkUpNf28X4/7/TZzvz/enw/5a1R6bGq/vBIXc18I8Rwuu2b9v7jfQU0JQAPcMN2+znD7epUUUNPP+6HJqMH98aJV1AOxKRrztZk8V9fduu4n6rNDTSlAA1zxr2dzhYzu4YETOFtNP6+7JRj9fN6vSWLvlIKq6OZNh8Z94cZMSfXGNDxX1z2jdBFqmoPq60x2BNfrZFwPD5zAuWo6aenjbVPMz/txG/+Z6oWE86ZozIRUbkzZ/2hu6wZVrIHK68wp/HKtWnYY762MU9V00NK94PPjfyQKhdi0Suo2pumz2H915vJq1F1nTgL9vJo5UU1HpXzsC+UQn1JFp4hN66RmY5oOC+NptVBznTkRcw4CXb2aOFNN3/cAnRw0lyo4VYhNq6RiY2IwrVIqrjPnIp4IT+ukuv2mg5o2FptK0XPG9CWKjDHei4i05JCGnsKSwHr549zCpvUw679rOTOfCFo6I0Vv5kXLjeyZw0r2NZpOeIB15JgT07Jxhl1nMiIw3djOXo7Q39N8nUSbGF9nfosUqzp3wLRHKdwADyWyqfusX6W8pMu8NR8zEZVSm5rSimkFsans+Z6I+JuOJw3WyzPVVApPcbjTSpRq6smGKwte4obR6lLTYzbZqqnze7Ey4VDBBng4Ebea2lP2mBiTEXVSl5oSa2np2HRxhoz1Qsrlp0akuZ/m3BAZ42JJQi79WdYLb96GnOy3Uf8zU3kYN4szRkRz/9prpYOjdqNNGOO8F2ZOBsuG5WKbrr7H9PCWvhCbhz/pe4bGJtNbplrH+qXOyUWvzdDqHIo1QIpEtsVQusayxc5i/ONubaCtqICIitR0klLK8xtUwdh0lh73T6S36SxbF62JGMFLdjX1JzK59Mxq6mXMR2QQRdzlP1dNvQTZxFufZIizz0LZBngoEePpoRhc65msfyalEHK/mOYgCmb366AWNaVdfDRTLjYN9ud7D0ru7/ZqHdzMahrujourqR4BhGPujo87scGaXFVqGmSTRU2db0rrqRynSAOkSMT6pL/J7kNcVwEFVahpJin9Kxibxvg+Z8pDIl5JWEblMsem84vGkd50LaxSTan3Hnyxmu5+meM5SaJYAzyYiPW5w7XfHEeBmlZBeTUdTu3NIaV/5WLTSIczBnTJiUyym3ve1HV2KmN8mK3zZ1VP56Cayu0iy65jjDHO+54fVdPjo2cl1PSoTc7R9SRqboA7iaxJGjWxJYOFSNVRVk2nAx1I50p1VKHYNG756giXlkSCXujPG6GXXG/VWSlr4BrJY2rqX786ZOZKakpik1bUlK4BHk3EVYxUM8zJQE2ro6CaZpfSv3KxaVo7FJZE6lNT/b1SSimEED3XPXnocFeimupLITeLi9WQpWk1VEy636ymVDa5tpraGuDRRFzFSDXDnAzUtDpKqel4K1tWKf0rF5uSOJz61XSTDxG4EeOAmobMEl9t3pTOJq2oKUkesxQ0i5pi3rQKSqjpeFfMnXBfqYtSsSnJvGCF86YBBBU93T7+ohoviEz7RumhTlNTQpu0oqY0E/M51soRqSnW9FbI6Wo6nNaba9XRGlVqTS/JNoLa1vSGEZJMsp+KWzkZ6bO+dL8ppU1aUVOaBphjMxCNmmK/aY0Uud/0JCn9K3oWUsheA+87z9tvOi9h2Z+ZC915RxSbbjbhhKW+DDj7crv6Ya1nIe1+HUqbZJpfN+8RSzNsiQZIk4gBiZrSVVQpnlNSP1zgTKVDnH8j290zVfp+tHKHjHaMisfRDXsXbKsBqc5C2j2kSMyCvOMlxzd5luyOPttrpjk1Z4anA0xXj/jCBWNla7TPIp06DVedg1+H0CZZ1NS0amrQX6YB0iSiP0egpmSDKKYq40aag5ympuO9pV6VpD3JofAdMpobW6+0lHK87GP2co6KTHNOr+4VZj3Uzm/tOtb3u15S0222OQlWST2tECNJ48hfIxn9HHCLVfSCuM5M5Sn7TZWiHeyNUZ2DX4fMJjnUdOWyU4clSzVAmkQ2xYgoxZpfsjtkzMvdcOTvQU5W01DKxqZGNBDA9qRNDc/1E3Mb3flIOzsJGV/ukAk70dyRiPSd0Tr60N5XnPCj3zz7I8dcWU2688Nhw+vqkQgf/Et2v2mc6hz7OkdtIq1vt48LxBrWcNlBHZTaGuCxRGIuTwqaF6C73xSxKSmNq2labEramJVSans7aTccINT7Trd2p6CHqsHd9s19lboH2PfXsmfzny0H7iTcF6mUUslXRkrRM7Moxu/S1ZQuPI0eET3wdcbfJ9vE7vFJ1NRYfRrWO6mxAaYnQqumxPu4MG9KSPmTBbOi6OZNayb7sbfXgmgkrdDa18rQvT8OGTjKaj3X1StXZTSupleQUgU1pYbGZ0FNlTmWiI0cR6GbhgAZaFxN1SVi01J3ZDXMahlqyu54dHGU0if5EJgexTyxAfasjsbV9AJSmmFLHFCrBRrxniv03vTGWQQAgdRRjB4eFt9WSONqqpqOTeWyLPbqXjsL0wKNWM8lvUdhXIV5ZBKBFAVTD4+ha1IljatpM1Lq3D8BKS3H/mLNsLvpmmaO7+H9wQVoXE1VK7GpQ00ZXHZBXGqatlmoRX45u3XsCWOAK9C4mrYhpQAAACqncTVVrcSmAAAAaqZxNYWUAgAAOIHG1VQhNgUAAJCfxtUUUgoAAOAEGldThdgUAABAfhpXU0gpAACAE2hcTRViUwAAAPlpXE0hpQAAAE6gcTVViE0BAADkp3E1hZQCAAA4gcbVVCE2BQAAkJ/G1RRSCgAA4AQaV1OF2BQAAEB+GldTSCk4n+n6vKvfFQ7yMtUz3G9cCcXU9PN+Pe7328z9/ni9Px/it6j02NR+eSUq7oUQz+Gya9b/i/sd1DQzq+t+L2rogmo63QPPcA+8xvlq+nkbKrri/nhTKuqB2BRqem0mf9F1t677ifrsUNPcQE2VKqim/3o2N43ovmbDnKymn9fdHop+NJF9vMnep+jmTQd1hZqSUL0xDX/Rdc8odw01PY3B1Bc1dLnYVHC9dcT1NRvmXDV9v+632+3+coWfk9iS6SnhvGn1AvBNVG5M2f9ozuJ2UWf9DVxaTUvyy7UG0mG8VylV4Sqk94NSThVi0yqp25imp2D/1ZlLoKCm5UCPc0t1ajrIqTt8jQOxaZ3UbEzTTWAUq2qgpuUwZ0PQ6WxeTRVi0yqp2JgYwvomoKYlEU+EpzrVqSntSG8lsakUPWdMXyPMGOO9iEhLDmnoKSwJrNcfz/Xau/ZRrp4I8kxS9GZetNzInjmsZF8k7YQHWEeOOTEtG2fYdSYjAtON7ezlCP09zddJtInxdea3SLGqcwdMm8am6ZhlCVVTWwvkvZABdWxdbVm/SnhJlhmVdmtSKTibH9Xqlvb3VRq+zIw5Cv8o6cWxgTkRg7rU9DNo6e1BtUtGFY9NZc/3RMRfYT1psF6eqaZ6u7cWhzutRKmmnmy4suAlbvCqLjU9ZhOL63d9L3ZSELJboLHhBKipt8rut0C3/Nib5WKdlUkt2eBCKWX5u/ND5VRTX3EcyWFaZKEaNf183g/6HTJlY9PFGTLWC6l1hI1Icz/NufozxrW+tFx6kawX3ryF9OH9z8xL8rlZnDEimnu1XisdHOkdbcIY570wczJYNtrJjD/W95ge3kgXPgpJ8XVobDK9Zap1TIvf5KJLZkCTg8XrmzGkVpaO9dJnFSMYFJsWGCdHU601s7eYSIx/NLNj6NcY3Mvx0bH3ufl7bI6S2lFacdaJkDaZL6eomo6R6Or0Bso3qIKxacBuMOmtsMvWRWsiRvCSXU39iUwuPbOaehnzERlEEXe0z1VTL0E28dYnGeJiD+Op9usQy5GZuUvgDj+XvmrA1x5rLdc6FesXSynWw8dLVl3jwGb2h7KH9Vco1DSyOGvM4ZxrrzMoq6Yv81Ck+4v0IKS/krFpsD/fe1Byf0vXupWZ1TTcHRdXU73fHY65Jz3uxAZrclWpaZBNFjV1vimtpxLDmAnPG6Qnr8G6LwJamZFisPzqv9o8v//309Q0tjgbiFvNN1PHSO/n835N47ykZwuqUrFpjO9zphzYS11G5TLHpvOLxpHedC2sUk2pV/x/sZrufpnM62gj1Hrv0CnJw0VChD0bFciufmWZFHd8jvPV9Fg7NEd0oKbV8G7lLKRIhzMGdMmJ+L0Bkb92rIJgjA+zdf6s6ukcVFO5XajZdYwxxnnf86NqenzMqoSaHrXJObq+S0zVkM4oNjKTQS9NGvCoXU0PT4FjIdJMXWr6Nx8uSKSnqlBsGrd8dYRLSyJBL/TnjdBLrrfqmAQtUj6spv71q0NmrqSmJDYpr6Zxqbuejq1gQW+FmtqTgZqOVKemk57SnN9QKjZNU1NhSaQ+NdXfK6WUQgjRc92Th85AHZ7vYdvFxWrI0jQnFZPuN6splU2uqqZBz0NN7clATUcqVFPKAxxUodiUxOHUr6abfIjAjRgHvEDILPHV5k3pbHJVNUVsmgzmTWdqVNMhOCVR01KxKcm8YIXzpgFE9fLj7RO1YOQia3oJbVJeTTFv+mVqijW9MxWqKeXMqSq1ppdkG0Fta3rDCEkm2QuE/jDJU3zpflNKm1SgpkRregO7GDHPQk0tYL/pQnVqOl9xSrJNpuBZSMG72Pbeed5+03kJy/7MXOj+WaLYdLMJJyz1ZcDZl9vVD2s9C2n361DaJNP8unl7l8+w835TX4nGin/uflOoqZEIWZOR4jkl9cPFV56pdKKaDpfDPF4ft05O5/S2cb+pdhiSxy0MexfWa3r1NI6eheTaKj68RF805XI+YS5u9NleM3k36Mvp2NDVI77IxVjZGu0pSKdOw1Xn4NchtEkWNTWtGhL0e88RM7dqnXsWEtRUT4NoOMdU5S+9kebM2HQ+iPd2vz9e748mq/rxDWTXsf2VPqd3dWfE6qTe8bKP2ct5XMKxc3p1BzW7ltVZpf2ul9R0m21OglVydX6q3zR8SUsvlWkUm1X0guj21E8+5in7TZWiHeyNUZ2DX4fMJjnUdOUowwYDtSGXGs/pjaBlNf0lu0PGvNztS4/8PXukVxNNK6QnIaXGpkY0EMD2fEsNzyUyc0Pf+Ug7OwmHi53CGpUex24Skb4zWke/1fuKE37immd/5Jgrq0l3fjgEIqtHIvzNL9n9pimrU1O/zlGbSOvb7eMCsYY1HGVEByX8Dhktw9vUj9whs2vVfWPZf6yNPxn/7Pz7nDkKp3SoOBYI7zdFbJrM5/16PO66rN6HcJX6RWmxKamaKqXU9nbSbjhAKOiGRXsKeqga3EXd3Fe5vStyKpJ1xnL8s+XAnegLW8d3pl78KkW/uvbS+F26mtKFp9Ejoge+zvj7ZJvY/SyJmhprPqN7J0H3m2oZdo0Mp91vCjXdgXhHGeZNa0fRzZvWDMmGHDBBNH6Vee3rl6D73Etv7W+M1cqyq1dzpVTzanoFKVVQU2poPAXUVJkjeNfePtEWdBMiDdG4mqpLxKYkm1uBzmoZasqedHRxlNKn1hCYtoN5YgO+7EjjanoBKSXZ2Ao2GMsi4v3F7qaX67C4XYQv7WD0Nb9x8W0mGldT1XRsKpflilf32lmYlkXE+gvpPQrjKszjgQhf2mLqazJ0kjQaV9NmpNS5fwJSWo79JZJhd9M1zRzfw+eCC9C4mqpWYlOHmjK47IK41DRts1CL/HJ269gTxgBXoHE1bUNKAQAAVE7jaqpaiU0BAADUTONqCikFAABwAo2rqUJsCgAAID+NqymkFAAAwAk0rqYKsSkAAID8NK6mkFIAAAAn0LiaKsSmAAAA8tO4mkJKAQAAnEDjaqoQmwIAAMhP42oKKQUAAHACjaupQmwKAAAgP42rKaQUAADACTSupgqxKQAAgPw0rqaQUgBAm0zXNOJ+40qoQk3fj9vE/fWhTFmlx6b2yytRcS+EeA6XXbP+X+msHGV1Py4XpTMEjlNQTad74BnugdeoQE01LSVX0wOxKdT02kz+outuXffz7Z8datogxdT0X8/mptFCX5OK4mr6ed1HEZ3/hxBFN286qCvUlITqjWn4i657NqM+gweGmrZAudhUcL11fH1fk4rCajpo6e3x/vvLoqaE86bVC8A3UbkxZf+jOYtbS9oDNQUU/HKtgXQY71VKlVbTYZD38f77+8ujpgqxaZXUbUzTU7D/6sxlGlBTQELDPc5kSqrpoKWzfiI2vQ41G9N0E62NYkFNARHmbEhbnc40yqnpSksRm16Jio3Z+BAW1BSQIZ4IT3VKqak+YTrScGwqRc8Z09cIM8Z4LyLSkkMaegpLAuv1x3O99i7llKsnghytFL2ZFy03smcOK9kXSTvhAdaRY05My8YZdp3JgMDUZVUphZmZ2K9MUE+2aZgp7Krp5hOxfpX0kjAL+EC28vBeyJydKKMMXCilpOBszrT2RbW/h5TmSGWjMizhRgOSttPynEgCZdTUoqWtxqay53siEuKTdtNgvTxTTXUPZC0Od1qJUk092XBlwUvY4JXNqrvf2XDijhJR1JM9q4wpJKqpPXvMXVm8FSW9x7PPSk0t2eBCKWX5u6vKEFQ2KsNSqClp22l7WiSWImq6GeT9+/trMTZdpIqxXkitS25Emvtpzg2IMa716uXSn2W98OYtZIDP/8y8JJ+bxRl7unM/N9C7JI/0jjZhjPNemDkZLJvgZJRa7TEN2Eg3WWz5RkbkpeXFpzyE9WQnE6yXoSO90xcyU2ZzymL8ozUlIxgUm/IkiUAkhu6wcdxkzPTY59v8fbcXSFXZDhnWlViMUyIuTmSTaZoCamrX0vZi04DdYNLbdKZEHF15I7TMrqb+RKammllNvYz5iJzJie5oG0GqszRyvyacUU/WUU2wmnKxKPH6N1IK26Dt9Kad8HPpfeSuAWuTaGYwbTAY0ByAjXtVYGVLN6w7MVIrRrYdczinuXUGUZyuptMg71Y024pNg+vk3oOS+32O1sHNrKZBRRK8BjXVI4BwzD3pASc2LGrqKcokqJahdop64kzdmomY10WLngwNrURA3T6Aq1+3//ckNY37baphd99MasNIU0S3mnY5W01tE6b6P7USm8YsnXSmHNhfnoOB3LHp/KJxpDe9DVeppvEr/peI0J/69DGl5a/H6klEMBGe4cTwUVpLuZeZTJVgyL+r97KtGOerKUXBa1BTc0QHanoa0yCv9R9bik0j9yGMAV1yIn6/RDNv6loFwRgfZmH8WdXTOegF5HbJaNcxxhjnfc+PqmnImNUUE0bUCTNLJPUkxpYyKIpVqeoSWZ6MfSpqNSWrbEdk25lYtAUJ2w4WIs2cqaYfx4TpSEuxadzy1ZG1Uw5/oT9vRGqqlFLrrTomYYs1j6qpf13ikJlT1DRUPMan9TJT1JOkTORR09jPmnHzK6Ga0la24mpK3XagpjMnquk4YxrE400jqqVi0zQvKSyJ1Kem+nullFIIIXqut1B/ng+pqb4UcrO4WA1ZmmbHYtI9SU31pynqyReracYBfyo1Ja9sZdU0Q9uBms40rqaqUGxK0umuX003+RCBC+wPuNGQWeJz500PCBlFPfliNa0+Ns1Q2UqqaZa2g3nTmeI3si20NG9K0umucN40gKCip9sncOnKqWt60+dNSeoJ5k0tkKhpjspWUE3ztB2s6Z1pXE1VqTW9aRseV9S2pjeMkGTSV08E/jAxtErcb5re46GoJxnX9EY7/Zh1utWv6c1S2cqpaZ62g/2mC42racGzkCj2052433RemuB6xuWe7M8RxaabTThhqS8Dzr7crn6YdBZSwGd27zclqSdz6kGZyKmmGfebrq4A83yd09Q0trJVrqbRxSE7C0mK55TUDxdfeaZS42qqSp7Tqx1y46nAw5p024Ah1VlIrk3rw0v0xTAuNxjmsce26DWT97wBOR1gunrEF4gZKxajfVbk1GngWfSdJEoAAAxJSURBVEj9fkeFsp74M5FZTbWhEtqzkMxP4x05IBnpzVHZCo70ZigO2RIkU5W/9EaaxtW08B0ycn1g6fJjKcdLHOba6zvo+tA5vbq/nZ3c6tTUfjd+1ZSDbU74VHJ1HKzfNMaRv0Yy+jngFqvoBdHtqZ9oy1P2myoV6x2miH85JW7nnN69vg5lPSE/pzeeDOf0rrytd0SRaE0vfWUruqaXujh0d8iYl7t96ZG/hdV0OM6htjW9RqwWwPakTQ3P5SCzy9n5SDs7xIbbScIa1ea6GD0Raf77Nq3RDfe+4oQvMPTsextzZTXpzg+HkGj1SITjjrnfVJMmzx0yAbeXZa0ncx42998sshtR6wPUmPgOGcPb7vVybMXQonnjn51/F45/sBfDU9loDEvklEjbDuH9pohNj5NbTdNiU1I1VUqten/jj4ZbHEKP57Pdbzr/OLiLKoXzjlSfmsqezX+2HKQSfxHn8M7UCz2l6PeuEk1X05jwdBXobb/y4Vtso+tJ2P2mM9nU1J6X5PtNjYWju10cajUdy3GgslWlpseLMxO/o2wXzJvWjqKbN62ZjLvgr0jw+FXG/ZJAR3fclz4foB5Wi8LQCFTzanoFKVVQU2pCPQXU9Bz0YcBr78GohpgJkcvQuJqqS8SmJJtbgc5qBaljTzrU9ByW+TkEplVgntiAjzLSuJpeQEpzXxR5VYxlEQ5/ATU9hcV3IwaqAqOv+Y2LbzPRuJqqpmNTuSychJZmYFoW4fQXUNMzmAcVEQNVw9TXZOjfaDSups1IqXN3C6T0fHY/BrSVmHmQAI4b1E3jaqpaiU0dDpxF79sDx4GansovZ7eOPVHRQeU0rqZtSCkAAIDKaVxNVSuxKQAAgJppXE0hpQAAAE6gcTVViE0BAADkp3E1hZQCAAA4gcbVVCE2BQAAkJ/G1RRSCgAA4AQaV1OF2BQAAEB+GldTSCkAAIATaFxNFWJTAAAA+WlcTSGlAAAATqBxNVWITQEAAOSncTWFlAIAADiBxtVUITYFAACQn8bVFFIKAGiT6WZA3G9cCWer6ed1v3m5vz5Er1PpsansGS7mvjbiOdxTzfp/pbNylNWVrLiEtQW+XU2ne+BZK/fAN66mB2JTqOm1mZp619267ufbPzvUtEG+W03/9WxuXy10WFUpNaWTSw+Kbt50UNfvrLjVUb0xjabedc9m1GfwwFDTFvhuNVWC603s6zusqnk1JZw3rV4AvonKjSn7H62d31rSHqgpqIZfrrWy7vvHextXU4XYtErqNqbZyNl/deYyDagpqIfGuq2Nqyli0zqp2ZhmC29hAEoHagpqwpxS+fKea+NqqhCbVknFxmxt9GkF1BTUhXg2E542rqaVxKZS9JwxfY0wY4z3IiItOaShp7AksF5/PFdJ71JOuXoiyNFK0Zt50XIje+awkn2RtBMeYB055sS0bJxh15kMCExdVpVSmJmJ/coE9WSbhpnCrppuPhHrV0kvCbOAD2QrD++FzNmJMsrAhVJKCs7mTGtfVPt7UGnSirPNz/Ru4xuFfWTijQb79U1wd02ZEqBogO1MrJRS0/f79Xrc7/p2mfv98XoTq6wqHpvKnu+JSFgr3kmD9fJMNdU9kLU43GklSjX1ZMOVBS9h4042q+5+Z8OJO0pEUU/2rDKmkKim9uwxd2XxVpT0Hs8+K/WyZIMLpZTl73tVJr04FnV3NYQdc9oSC8p4Wnk6xvtdh0faAJuZW6lvvylp3Fo2Nl2kirFeSK0Pa0Sa+2nODYgxrnWD5RIosF548xYywOd/Zl6Sz83ijJ3UuYvqtdLBkd7RJoxx3gszJ4NlE52Mscc0YA/cZLHlGxmhipYXn/IQ1pOdTLBeho70Tl/ITJnNKYvxj9aUjGBQbMoT72/jMXRnjPzkmOmxz7f5uytHFMVZVxWmJSQXbTIHAwJLGWtI3aWsQms5Rpua6WxpEzfA2HZXK4XU9H5/vN7vz2cRzs/n837cKzoLaU10xQ3YDSZ3fZKeiKPva4SW2dXUn8jUyjKrqZcxH5GTMNF9ZCNIdZZG7teEM+rJOqoJVlOu+fn1b6QUtlHOWS8C4rXsNWBtEs0Mpg0GA1rEjKg43oYqfZ/Y/eY4K4458Ywty/mxpC8U2QDNMaGvXaxQ2zm9k9oS6Wm52DS4Ou09KANqtBY5ZFbToCIJXoOa6qFVOOZ28oATGxYX6SnK5JssQ+0U9cSZujUTMa+LFr1gUTjmrUPzsUl+/++bCkNWnADbJ3QB49tRWFVRSinVs1hxt+QsOFuRTa9KalNT4nVKqlRsGrN00pmys79s+/0Jsen8onGkN90PVqmm8Yv1l4jQn/r0MaXlr8fqSYQXDs9wYvgoraXcy0ymSiAdWuCqGPa/0xUnpPMQv946th2ljdmkENkAzWEhqCkdhHJaKjaNbBdjQJeciN8v0cybulZBMMaHCRR/VvV0DjpSuV2S2HWMMcb5OPVzRE1Dhpumjn5EnTCzRFJPYmwpQ0OTpOA+tjwZ+1QkakpYHKIGuCK2HdEanLABtrEQqUY1fT9ut9vt8SZIShWKTeOWr46snXL4C/15I2zM6606JmGLNY+qqX9J4ZCZU9Q01P2NT+tlpqgnSZnIo6axnzXj5lcKNaUsThVqKsnsTd0Aoaa5GMZ6SdS0VGya5iWFJZH61FR/r5RSCiFEz/XG5c/zITXV15huFherIUvT7FhMuiepqf40RT35YjXNOOBfQk33nq9CTYl6LxkaINQ0Fw3EpiTVtn413eRDBK6NP+BGQ2aJz503PSBkFPXki9UUsWn0MyYl1DRLA8S8aS4amDcl6XRXOG8aQFDR0+0TuHTl1DW96fOmJPUE86YWMG8am8NA8jRArOnNw7hHhiQ0Lbeml2TxXG1resMISSZZRUJ/mBhaJe43Te/xUNSTjGt6Y9U0ap3uF6zppStOHWp6vLrlaYDYbxrL+xEScg7DvERiWvIsJIr9dCfuN51XFbiecbkn+3NEselmE05Y6suAsy+3qx8mnYUU8Jnd+01J6smcelAmcqppxv2mq9u7PF+HRk2p95uWVtPw8ixPm6lnaYB0ZyFJ8ZyS+uHi7DOVTlTT6VDB++P1cUjqdBoS2WFIquQ5vdohN566Nywntw0YUp2F5Nq0PrxEXwzjamdhHntsRl4zeTeRy+lk2NUjvt61sdgwWgwip04Dz0Lq9zsqlPXEn4nMaqoNldCehWR+Gu/IAZGakhWnEjUNKo9SejvK3wDJliCZqnz+jTTnjvQup/QOR9zPmvn5vF/TuYJUcenfX+lzele3V6xOYF2diOk6x3VpqkfO6dX97dyKVseM9ruNWVMOtjmcczjfk0f4SMmXtPRSrY8J3WZHL4huT/1EW56y31Sp2IY9ub/l+L2dc3r3+jqU9YT8nN54MpzTu3KU3sFAMjUlKk41aqq08niP6bVWNuoG+Et2h4x5udv5R/6eP2/6WWQz95n3qbGpEasFsD3CVMNzOchcqXc+0s7mruF2krBGZURS60Sk+e/btMam3vuKE775LeAaC3tS9jMk5p8JuXkkwt/8Rtxvqrk/zx0yAbeXZa0ncx5WlUDL2K5VVwSoMfEdMoaj3Ovl2IqhRfPGPzv/vslccnGktdHZ4z0jxXURSZ1SQG3b+0KkDZDwftNrxaYzQyyqqer9fn+83uTvSYtNaSuuUquO2/ij4QKG0OP5bPebzj8O7qJurlXcXn3pqv36HIrlDJT4iziHd6Ze6ClFv3eVaLqaxoSnq2Bi+5UP32IbXU/C7jedyaam9rwk329qrPnc7eLkUdPk4titWlxN5/JYalsfVGWJGmD8tjRPri4yb1oCRTdvWjMZd8FfkeChp4z7JYGO7nO/dWs/2LJaWfbtLalxNb2ClCqoKTWhjRxqeg76CN7Xbp8AG2JmVb6BxtVUXSI2JdncCnRWK0gd28mhpuewTK0hMG0H88SGFr5s42p6ASkl2bAINhgrGhxNHWp6Covb/f7wBUwYHdaTF99monE1VU3HpnJZaQgtzcC0osHZ1KGmZzCPB7YQvoCFqcPKWukkNa6mzUipc3cLpPR8dj8GtJWYeZCgFZ8LWqVxNVWtxKYOB86i9+2B40BNT+WXs1vHnqjooHIaV9M2pBQAAEDlNK6mqpXYFAAAQM00rqaQUgAAACfQuJoqxKYAAADy07iaQkoBAACcQONqqhCbAgAAyM//AW89bVW5BvXJAAAAAElFTkSuQmCCAA==[/img][br]Las variables pueden tener nombreslargos siempre y cuando empiecen con mayúsculas.[br]legusta(juan,QueLeGusta).[br][br][br]Legusta(juan,X).X=Maria.[br][br] [br]Prolog va a esperar si esa respuesta te satisface si es asi  esperar un enter y si no espera que[br]escribas un ; hasta que decida si se satisface.[br][img]data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAYQAAAFICAIAAADf9R5LAAAbgUlEQVR4nO2d61MUV8KH+V/8J7IxkrDhBQEllapUJZWtZKNRiUSDRhdvEbCssmS9xEtcL6gYw4qKGjEohEsZxWhkpYxrYlADS5zFyyIGUYaAQ877oWNPz5lhuM3Muczz1O8DDnNperofT5+e/k2KAADQgBTVCwAAIAQyAgBNQEYAoAXICAC0ABkBgBYgIwDQAmQEAFqAjABAC5ARAGgBMgIALUBGAKAFyAgAtCC5ZFR/6aecBTteeOfvRFWm528/XHdF9YYAOpJcMsJEOiR19mbVGwLoSHLJSPl+SJyo3hBAR5JURq+taSKJDzKCKCAjgoxAC5ARQUagBciIICPQAmREkBFoATIiyAi0ABkRZARagIwi53Jbt/uostqbEe/Q1dOvdt8uq73Z5x9S8tJCiBXlrcgIYggyihx3J69p8YlIO15cZVRWe1MIMerdunr6a1p8r61pWlHeKoRwfo65dC63dXtXi/PPNt9j7+3ICCYPMhrTDhk+OFIuI0dAExiejCteF19u63YdPbFBGTKCKCCjceyNI8nIcYeDOzxxHujS5nss6aPN97jN99j5uc8/5N5NemD4Hdzn9+pAPDdmV0+/O2bxSs15dWkh+/xD3peLuAa6evqdFxWhUhYjHMAiI5gYyGgUDYnR5oycndy5j6sb741tvsfee4bLKHyQJY2Munr6vc/vPq0rprHIyP3B+bu8jpOkI8V50T7/kPRbR2TICGIFMoomo4g7pyQjSSWOC7wWcIcwUWQkQkclUQ7TXAVI7hCjyUiSi7MYXqHUtPhGOvBs8z0WYcND7wshI5g8yGisMnJ2SAdJRtKrXG7rHtfIyPskzm8liXiPsMTzgyzJBWI0GUlHfxFlFHEayHmSrp5+SVUjjaSQEUwMZDTBjDQyiqgPrzIiysh9TkcHkoxE2CxPuAuEx33hMnJ+cF46ysgooozcM2gi9IQdIyOILcgomm6inDCKOGfkZqRDHnfHduwgyWikAzr3+Z1HOUYYac7Iu9julJDXbs4oLLqM3FfxPpt3ssn72PDDTGQEEwAZTVZGr4WeTROewyX3Fu8ZcfeWy23djk2893QF5NzoPNA9wurzD7mfLRrpbNprnlNvXn24h5neCaCIMnL1Gu5Z73BMePQnkBFMGmQUl0Sc1Y7tS4w0eor5wkfMGD+WiYxg7CCjuEQ6hprAWfCxRPoEdqw+ADmWpwqf8EJGMEmQUbziHiuJ0CsqYhjnwMo57JqAGuItLGQE4wIZkcQFGUEUkBFBRqAFyIggI9ACZESQEWgBMiLICLQAGRFkBFqAjAgyAi1ARgQZgRYgI4KMQAuQEUFGoAXIiCAj0AJkRJARaAEyIsgItAAZEWQEWoCMCDICLUBGBBmBFiAjgoxAC5ARQUagBciIICPQAmREkBFoATIiyAi0IEllRNRG9YYAOpJcMkrP26p8PyRT39uoekMAHUkuGR2uu5I6e7PyvTGZM/W9jdsrz6reEEBHkktGmuAfGCzZWePuny++92n2iuqYTMrkrPpq6qzg6G/JpuP+gUHVfy7AmEBGieZBT9+sooOuL6bN/cfMoroYThLPLPo6dd5O9/nfLNzru/9I9R8NMDrIKKG03riTs2CHa4q0D/e9VtIY+/NWJY1pCw+4r5Ket/XStQ7VfzrAKCCjxHGi6erU9zb+4Yh3N2QsrozrefSMJUdfeHejO1Pz+VffqV4BANFARokgEBhet6/OO0mUtTw2k0TRk73y1Ivvfeq+bsnOGqaQQFuQUdx52Pt0zpoK1wgvvf/ZjNVnEmCi51NIddPm/sN99XdWHbjb3at6lQBEABnFlxsd90ImifL35hbXJ8xEf6SkMW3BfncZchbsaL1xR/WKAZBBRnGk5vz14Mea3t2QXlCRaA15kvHx4Rfe3eBOIVXVt6pePQAhIKO4EAgMf1oRvBTrT3/dlLXsS4UmcpK1vNo7hbR2z5lAYFj1qgL4A2QUe37t8y9cfyT4mePZ22Z8clq5iZzMWF370vufucs2Z03Fw96nqlcYgBDIKObc+uXB64t3u3v7y3m7FUwSRU1ucX1a/l7vFNL1212qVxsAMoopTS1taXO3uPv5qwVfKFfPSElfdMg7hVRz/rrqlQfJDjKKDYHA8O5jzd5JoumFx5UbJ3qyln35p79ucpd548FGppBAIcgoBvgHBhdtqPJOEuWsqlHumrFkxienX3p/u7vk+esqf+3zq16dkKQgo8nSebfnzcLgFExq3i7dJomiJ7e4/uUP9rjL//ri3bd+eaB6pUIygowmxYWrP4dMEn30eVwufI1/Xi34IvjJzLlbar/9UfWqhaQDGU2c/ScveieJMpZWKXfKZDJ92QnvFNLuY81MIUEiQUYTwT8wuHJbdXCSaNaW7JWnlNtk8pnxyemps7e5f9eiDVVP+n9TvbIhWUBG4+Zud+/bK4KXeqXOi3E7mtrkFten5u1y/7o3lpZ13u1RvcohKUBG46Plh87p+cHTT2kLyg2dJIqWksZXPzronUK6cPVn1Sse7AcZjYOK0y0h7WgfH1EvjrglY2mVdwqp7MQF1asfLAcZjYnBoWdr95yJR4W+zpHq/Qu3fEk3G8QPZDQ6coX+nB02TRJFz8yiutR5wW62t1fsp94f4gQyGoXvb/rCKvQblDsioQmr92/5oVP12wIWgoyiUX32WiIr9HVOxpKj3gtrK063qH5zwDaQUWTCKvQ3Zy0/qdwIapO9opp6f4gfyCgCD3uf5q09pKpCX+dI9f6zig4+6OlT/XaBJSAjmRsd93ILgt/I+soHZWZd+Br3lDSmfbiPen+IOcgohNpvf9SnQl/nZCyu9E4hnWi6qvqtA+NBRn8QCAxvrzyrW4W+zslaXv3ie5vdNbZuXx0X1sJkQEZC6F2hr3NmrD5DvT/ECmQk2n3dbywt07lCX+eE1/vf6Lin+i0FI0l2GRlUoa9z0gsq3Cmk1NmbqfeHCZDUMpIq9DMLjynfq82NVO//aUUTU0gwLpJURv6BwSWbjptYoa9zpG62heuPUO8PYycZZSRX6M/bObPoa+V7sh3JLa5/OS/4HZbU+8PYSToZXbrWYUeFvs6R6v2bWtpUv+1gAMklo/0nL3oufN2YseSo8v3W1kwvPE69P4yLZJGRf2Bw9Y5T9lXo65ycVTVSvT8X1kIUkkJGd7t731kVbORJnWtVhb7OyS2uT50XvNDvzcK91PvDSNgvo7AK/f1MEiU0JY2vfvQ59f4wKpbLqKq+NXkq9HWOVO+//+RF1ZsGaIe1Mgqv0M9Kggp9nZO98tTUWcHzmCu3VTOFBF7slNHD3qdShf6M1bXK90YSXu9/t7tX9cYCumChjK7f7jK9Qr/PP3S5rdv5OeLfuKK8VflCTjAljWkLyt13Z3r+dur9wcE2GUkV+umLDqnf/SYnIycryluF0Q4KTcbHR6j3Bwl7ZBQIDJeW19taoR9RRu7f3uZ7rHwJxxup3n/tnjODQ8/UbT6gHktk9LD3af66Sk+F/naj29G6evprWnzeW8Jl5B099fmHpPsbkZlFddPmBA+oqfdPcmyQ0a1fHlhWoT+qjMpqbwoh3N9ebuvu6ulXvtgTSUmDVO///U2f6g0K1GC8jGq//dF74avpFfo1LX/simORkRdTZbSm6bU1Tf8XWu9fffZaojcj0ACDZRReoT992Qnl+9Vk4hinrPbmSL8aaWRkQbKWn6TeP8kxVUZP+n9btKHKsgr9mhZfn38o4q+izxnZEaneP2/tIer9kwojZSRV6Kfm7TJ9ksiJNDLyHnlFP5smhLBDTLnF9a98EHxncwt2GlTvP3/+/JSUlNLSUu8t8+fPl+7gomIZtca8NXLuyi25Qt+iC1/dOSNhi18mEKnev/bbHxVub2Nn/vz5U6ZMSUlJaW9vd29xZZSZmTllyhT3zqWlpd57gjBORmUnLlChnwyR6v23V57VfwrJUU9mZqYrIFdGzc3N4UMh7z1BGCQjuUJ/1tacVV8p32dI/GJcvb+jHsc7zc3NwiOj0tLSzMxM6f6lpaXesRKYISPf/UdU6CdhpHr/N5aWtfu6VW+MI+KqxxkfSbeED4IqKyuRkRcDZHTpWkd63tbgha8LD9g0SURGjSn1/l7jpKSkVFZWhuvJS8ThUjKju4w+/+o7KvRJZuExqd5f9YYZAa+MnEMw95bKysqIc0beU2+gr4z8A4MlO2u87WhU6CdzclbVTJ0VHCAv2XRct2426VjMObPm3jJlyhTvOMg5zZ/oRdQbTVeHVKE/jQp9sqZpZtHXOtf7SzJyZrK9Y5/MzEz3Q0bMFoWjo4xab9wJaUejQp+4Cav3v3StQ/UGC7FBOxmFVegfVr8DEM2SseToC+9udC+spd7fDjSSUSAwLFfoL6dCn0SOVO+/escp3aaQYLzoIqOHvU/nrKmgQj9K+vxDQoiRrqQde7xXnJhYyeZmZlFd6txgvf87qw5Q7x+OfzBw/ELn0wEDWjS1kJFcoZ+/144LX0eNVIomRr4eLcoF/eON+zxOD0nExhJjUtKYtmA/9f5RCAz/vrX6xl/+fq7uyn9VL8soqJdRzfnrFlToTyxjb2iMU5ejoX21UqR6/6r6VtUbtXa03+v7295/Fey6/JNP38GjYhkdrrvivfA1a9mXyrfsmMRp/HBw93b3Fmf40+Z77N7iiMZVg/Rw7z2dx15uC14V4b6o9/grfDHCx1w2jIyeJyu03r/sxIWYbaMWce7f92dtvrDh+A+Pnug4v6ZYRt4rzmz6xteunn5p5+/zDzltRI4CnJ+l8Y4ro/CHe+/p6Ml9Iedn79PWtPich4tQFbrecVtrLRgWuclZ9ZU7PkrP26puo9aawWfDld90vLX+m6Pn/xMY/l314oSgWEb7T14M+Yy1LT7q6umPclQlnnshioykh490mObe3uZ7LH1hkTTN5L1DWe1Nozuzw5Oz6ivv57M/2taUXdRAoqdg1+XBZxoVs6ifM6o43RL6waIjyrfsmKSrp194Tn5JFfrRZRT+cOmezm8dXBlJgynvUZuDrTLKWFrlvXKNY7QoBIZ/P/XdnbfWf7PzdJtup9jUy0gI0fJD5/T87Z6PXJdb85Fr5zBK6pMVY5CR9+HSPdt8j92fxz4ysjMljdI1/Reu/qx6c9aXq+0987ZdXHmgtfPBE9XLEgEtZCSE8N1/9PaK4Dna1HmWXIzmOMLbYO0MWBwZSb4Il5GrGElGrnf6/EPO7c7TRpkz8sa5s/KVM8nkFten5u3yth1pdamaVnT19JdUXJ2z5duLP/1P9bKMiC4yEkL4BwZXbqv2dDluMbfL0f2jvMdZzi1dPf19/iHvKEk8P4ByZRTx4dInktwHekdJ0qO8Z9OER0wWyEjqgVy0oepJ/2/x2TCNp7zhtjNjrdUMUTgaycjBO6X9p79uylhapXy7J7pl+rITUr2R/g3ZqnjcP1TecFvPc/kS2slICHHh6s8h3//x0efWTCGRyUeaJDLlu0NgVHSUkRCi825PSOm1Ld+MRiaT3OL6lz/Y424Vry/efeuXB6o3VYgZmspICOEfGJS+MzZnVY3y/YGoyoxPTr/0fvCUa/66Sr5v1jL0lZEQIhAY3n2s2TuFNL3wuPK9giQ+WctPeieJNh5sZJLIPrSWkUP9pZ/kr5BVvW+QRCZ90SHvdbA156+r3iQhLhggIyHErV8evL44+P1ZL+ftZgopGZJbXJ+WH5w6zFmw4/rtLtUbI8QLM2QkhPi1z79w/RHvFNKMT04r31tI/DJjde20OcGWqzlrKpgkshtjZCSECASGNx5stLJyhEjJWh5SCbJ2zxkmiazHJBk51Jy/njp7s6eM7Z/K9xwS22R8fJiytCTEPBkJIW503EvOmlr7E1ojm7NgR+uNO6o3N0gQRspIhBX4v/T+ZzNWn1G/L5FJZGZR3TQK9pMYU2UkhAgEhtftq/N2s/HVRuYme+Up7yRRyc4avnoo2TBYRg4nmq6GdLMtrlS+X5Hxhi9lBGGBjET412F/uI8La41JSeOfFx5w37v0vK18XXXSYoOMhBAPevreWRXcpqfNtaSbze7MLPo6dd5O9117s3Cv7/4j1ZsSKMMSGQkh/AODJTtrrKz3tzJShf6STceZJEpy7JGRg1zvv+So8r2OhCez8BgV+iBhm4yEEJeudaTnBf/LTVt4gCkkjRJWoX/uyi3VmwxogYUyEpHr/b9Wvx8mfcIr9Nt93aO/nZAc2CkjIYR/YLBwy5eeev+t5tb72xEq9CE61srIoezEBer9dYhUob+98iwXvoKE5TIS4fX+BV8whZTgpBdUeCeJqNCHiNgvIyFE592eN5aWUe+f+OQW17/yQXDN5xbsvNFxT/XmAJqSFDISQjzp/02q96ebLd6ZsfoMFfowdpJFRkKIQGD4H0fOhdT7LzuhfI+1NVnLT7743mZ3bZeW1zNJBNFJIhk51H77I/X+8Y5UoV999prqtx0MIOlkJMLr/T/YwxRSzFLSkPbhPir0YQIko4yEEA97n+avq/R0s21nCmnykSr0ZxUdZJIIxk6SykhErPdfflL5/mxuslbIFfqDQ89Uv8lgEskrI4ea89e9F9amLzqkfK82MRkfH6FCHyZJsstICHH9dhf1/hNPaIX+9PztLT90qn5LwUiQkRBh9f7T5uyYsbpW/X6ufWYW1aVSoQ8xAhn9QSAwvHbPGer9x57slaemzgp+SGLltmra0WAyIKMQqupbQ7rZPj6sfJ/XMxlLq6jQh9iCjGRab9yZnh+8iCFtwX4urA1JSeOrH33uvfCVCn2ICcgoAne7e6n3j5jwCv3Ouz2q3y6wBGQUmQj1/itPKXeB2uSsqvG2o1GhD7EFGUVj/8mLnimkjclc7y9V6O8+1qz6zQHbQEajINX7/zkp6/2lCv2mljbVbwtYCDIaHd/9R28W7vXU++9Mnnr/3OL6l/OCFxVToQ/xAxmNCf/A4JJNx5Ot3l+q0F+4/sivfX7VbwVYCzIaB1K9f2bhMeW+iF+yln1JhT4kEmQ0Ps5duZUM9f7pBRXuha+pszfXnL+uesWD/SCjcdPu67a43j+3uP6VfCr0QQHIaCI86f9t4foj9tX7z1h95qX3P3P/rry1h2hHg4SBjCZIIDC8vfKsTfX+UoX+un11TBJBIkFGk0Kq908vqFDulIklY3ElFfqgFmQ0WW503MstCF6u9coHZYZNIYVV6H9/06d6pUIygoxiQIR6/9Vn1FtmDJlZVCdV6D/o6VO9OiFJQUaxIRAYLi2v91xYu1n/ev9sKvRBJ5BRLKk+e82Uen+pQr/idIvqlQfJDjKKMXK9/4f7XitpUK6ekJQ0pi0op0IfdAMZxZ6HvU9nFR3Us95/ZlFd6rxghf7bK/b77j9SvcIAhEBGcWJw6Jlc779Cfb1/zqqvqNAHbUFGceRw3ZXQev8jCk2UsbTKe+ErFfqgG8govrT80Km+3j+sQv/C1Z9VrxgAGWQUd6R6/9TE1vvnFten5u2iQh/0BxklAv/A4Mpt1Z5uti2JqfeXKvQXbahikgi0BRklDrnef2lVXE00vfC4VKHPha+gM8gooVy61hHSzfbR53GaQqJCH4wDGSWazrs9ca33lyr0X1+8+9YvD1T/0QCjg4wUINf7z96Ws6omJiaiQh/MBRkpY/ex5tjW+0sV+hsPNjJJBAaBjFTS1NIm1/tP1ETpi/5JhT4YDTJSTLuv+/XFwSmel/N2j7ebLbe4Pi0/OAmVs2AHFfpgIshIPb/2+Sdc7y9V6M9ZU0GFPhgKMtKC8Hr/rGVfjj5JtDykHY0KfTAaZKQRNeevp85+/v0c726IXu8vVeifaLqqevEBJgUy0gu53j8/Ur1/SaNUod96447qBQeYLMhIOx72Ps1be8hT7/+Zt95/ZlHdtLnBdjQq9MEakJGOBALD6/bVhdf7SxX6JTtruPAVrAEZ6YtU75+2oJwKfbAYZKQ139/0eev9naTnbb10rUP1ogHEGGSkOw96+tx6/7SFX1ChD7aCjAxgcOhZaXn99Pzt2UUNTBKBrSAjk8gualC9CADxAhmZBDICi0FGJoGMwGKQkUkgI7AYZGQSyAgsBhmZBDICi0FGJoGMwGKQkUkgI7AYZGQSyAgsBhmZBDICi0FGJoGMwGKQkUkgI7AYZGQSyAgsBhmZBDICi0FGJoGMwGKQkUkgI7AYZGQSyAgsBhmZBDICi0FGJoGMwGKQkUkgI7AYZGQSyAgsBhmZBDICi0FGJoGMwGKQkUkgI7AYZGQSyAgsBhmZBDICi0FGJoGMwGKQkUkgI7AYZGQSyAgsBhmZBDICi0FGJoGMwGKQkUkgI7AYZGQSyAgsBhmZBDICi0FGJoGMwGKQkUkgI7AYZGQSyAgsBhmZBDICi0FGJjFGGaU8p7S01LklMzPT/RlAT5CRSYxFRlOmTPE6yP0BGYHmICOTGIuMUlJSKisrpRuREegPMjKJscho/vz54T5CRqA/yMgkxjhnVFlZ6cwZuUpCRqA/yMgkxnU2rbm52fURMgL9QUYmMd5T+66DkBHoDzIyiVFl1Nzc7J5Ba29vZ2QEBoGMTGLsE9jMGYFxICOT4BPYYDHIyCSQEVgMMjIJZAQWg4xMAhmBxSAjk0BGYDHIyCSQEVgMMjIJZAQWg4xMAhmBxSAjk0BGYDHIyCSQEVgMMjIJZAQWg4xMAhmBxSAjk0BGYDHIyCSQEVgMMjIJZAQWg4xMAhmBxSAjk0BGYDHIyCSQEVgMMjIJZAQWg4xMAhmBxSAjk0BGYDHIyCSQEVgMMjIJZAQWg4xMAhmBxSAjk0BGYDHIyCSQEVgMMjIJZAQWg4xMAhmBxSAjk0BGYDHIyCSQEVgMMjIJZAQWg4xMAhmBxSAjk0BGYDHIyCSQEVgMMjIJZAQWg4xMAhmBxSAjk0BGYDHIyCSQEVgMMjIJZAQWg4xMAhmBxSAjrfEPBgLDv7v/lGT0dOBZwpcIIF4gI605fqFza/UN959eGZU33C5vuK1ioQDiAjLSmqcDz/7y93Pt9/qcf7oy6urpf2v9N4+eDKpbNIAYg4x0p+7Kf/+291/Oz66MSiquHj3/H2XLBBAHkJEBFOy6fO7f98VzGV1t75mz5dvBZ8OqlwsgliAjA/jJ1ztr84XBZ8PZRQ2B4d/nbbt48af/qV4ogBiDjMxgw/EfKr/pyC5qOPXdnZUHWlUvDkDsQUZm8OjJ4Fvrv8kuanhr/TedD56oXhyA2IOMjOHo+f9kFzXsPN2mekEA4gIyMobA8O8Fuy7zQUewFWRkEpxBA4tBRgCgBcgIALQAGQGAFiAjANACZAQAWoCMAEALkBEAaAEyAgAtQEYAoAXICAC0ABkBgBYgIwDQAmQEAFqAjABAC5ARAGgBMgIALUBGAKAFyAgAtAAZAYAWICMA0IL/B+dvH0PR0r0pAAAAAElFTkSuQmCCAA==[/img][br] [br][br][br]Cuando a Prolog se le pregunta una variable (en este caso X es inicialmente no instanciado por que no está[br]ligada a aun valor). Prolog busca por la base de conocimiento por una afirmación que se relacione con la pregunta. [br][br]Ahora bien si la variable no instanciada aparece como un argumento Prolog le permitirá relacionarse  con cualquier argumento que este en esa posición y decimos que esta instanciada.[br][br]Prolog busca atreves de la base[br]de acuerdo a como está escrito en el archivo.[br][br]De arriba para abajo, como se muestra en la figura.[br][br][br][br][img]data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAATYAAACvCAIAAAD4wGXBAAAItklEQVR4nO3d0WtbZRjH8fwv558QBr0SInpRbwRBlG03EhEEQcZuxO1iLGMUxlTUigMpZDBkDCcdjnbOU9TWbrrCtlQ8bBAjm6Wb3dbOrc7jxUtfXs/pQuJ50/d98ny//C7aJjkMmg8nTZuslhNRxNVC/wOIqFcQJYo6iBJFHUSJom5YRL/+/voLb37wzKtH2FD33BvHT55bHNI3kWJoWETxuWMb2ztR/fv1xdzNBw83qx+HvDcsosHvuKpW/fu1Z2Lu1t2N6sch7w2d6PiBGTakQVRDEBU8iGoIooK380Rr25VlWZ7naZq6X2y1WtveqtFoVP/XqgqighfqLJplmZVparVatVotTVP3Cs1m03zqXuR+nfoJooIXD9EkSdzTZr6F1nzsEm02m/V6vfo/WE8QFbxIiJbF2i8amRCtEkQFLxKi5qfQ8tXKRM0NC+db6h1EBS8qotueRc0Xn/Y0EvVTeKKT08t5nndX14Pf48UtEqJ5npfttVqtJEnspfaBLg1aYKLd1fXu6vp8ewWiook2m83yedWihWiVwp9Fxw/MQFQ60XzrKVybaxKiVYKo4PHXRRqCqOBBVENREz270LEHnJxevrfx2HzcXV33ftF8e8VetP/EJftxu7O2kxdBlApFTZRBlGIkak4ywQHEP4hqKPwvXdxbGagQhSjZojiLMojS04Ko4EFUQxAVPIhqCKKCB1ENQVTwIKohiAqeX6KFZ9cpkiAqeB6J7vtscenGnerHIe9BVPAgqiGICh5ENRSYqPt37WcXOsHv9LIGUQ0FJppv/aGfsbr/xKXg93tBg6iGInqgm+f55PRy8Pu9oEFUQ7EQNS+b5CwKUSoUC9Hu6vqgL2hmENVQFETn2yv3Nh6Xv867LkCUwhPl1aH/exDVUGCi7c5a+fwJWoiSLSRR9zGeiXddgCgVCv9Al0GUegRRwYOohiAqeBDVEEQFD6IagqjgQVRDEBU8iGoIooIHUQ1BVPAgqiGICh5ENRTRuy7Mt1eC3+llDaIa4l0XBA+iGorogW7Ouy5AlErFQvRpLxllO0P00Mkr6dXb1Y9D3gtMdHJ62d4k+D1e3DwSnTh99fzlbvXjkPdiOYuaF6YVnjFS8q4LEKUexUJ0/MBMu7PG2xdBlAqFJDo5vWxew22Wb51FeUk3RMkW+Czq/m9c9lEuRCFKtoge6DKIUjmICh5ENQRRwYOohiAqeBDVEEQFD6IagqjgQVRDEBU8iGoIooIHUQ1BVPAgqqEoiJq/MufFaBClclEQ7a6ud1fXIQpRKhee6NmFjnmZGEQhSuUCEzUPcfefuARRiNK2hX+li3mBC0QhStsWkqjLcluivOsCRCkk0XZnrXxD3gQQouQW/ukiM/csyku6IUo2iAoeRDUUC1EWluj7X17/yvlBneIJooLnkejUbDY1m1U/DnkPooIHUQ1BVPAgqiGICh5ENQRRwYOohiAqeBDVEEQFD6IagqjgQVRD4V/p4t6KP9CFKBUKT7Twf4oyiJIbRAUPohoKT9TehP//F6JULpani8yLnjmjQpQKxUJ0/MBMu7Pm/qfd42redcG9CKJUKC6iPNaFKBUKSXRyetmanJxezrd+6cJLuiFKtsBnUftQM3d+KQpRiJItoge6DKJUDqKCB1ENQVTwIKohiAoeRDUEUcGDqIYgKngQ1RBEBQ+iGoKo4Hkkem7xt2NnrlU/DnkPooLnkej5y92J01erH4e8B1HBg6iGICp4ENUQRAUPohqCqOBBVEMQFTyIagiiggdRDUFU8CCqofAv6ebNUCBKPYKo4EFUQzzQFTyIagiiggdRDUFU8CCqIYgKHkQ1BFHBg6iGICp4ENUQRAUPohqCqOBBVEMQFTyIagiiggdRDUFU8CCqIYgKHkQ1BFHBg6iGICp4HommV28fOnml+nHIexAVPI9El27c2ffZYvXjkPcgKngQ1RAv6RY8iGoIooIHUQ3xQFfwIKohiAoeRDUEUcGDqIYgKngQ1RBEBQ+iGoKo4EFUQxAVPIhqCKKCB1ENQVTwIKohiAoeRDUEUcGDqIYgKngQ1RBEBQ+iGoKo4AUhmiRJbaskSdyLWq1WzSlN0/IXTWNjY+Uv1mq1HsfJ8zxNU/dqtizLtv36aARRwQtFtNVqmY/r9Xqj0TAfN5vNWq2WZZn51HCy1zRXqNfrhaOZq7lf6XEc83G9Xm82m+5NGo1GvV53bzVKQVTwghN11bmnO3upe5rtk2iP41iuhbO3uQlEB4uXdGsgmiSJOaGVpdkvWjb9EO19HHupy9gc1jzWhegAQXSEibo/KBoV5TNbvvUj4kBEex/HXtk9VJIkaZpCdOB4oDvCRO1Z1Dyvk2WZ+aBwzQK/Pon2OI79wIK0pCE6cBDVQNR+aoSUf4Z0TfZDtPdx3CubZ6rsU0cQHTiIyiJ66+7Gnom5fq7pEnV/2mw0GuXzoYutz6eLehzHvbL9xYz5FKIDB9ERJrrtLy3zrd+XFH5MdS/th2iP4xSunCSJ/ZUPRAcOoqNKlHY4iApeRaIPHm7ajwtEHzzcdC+lgEFU8CoSPXxq6auFjvm4QPSdT3/87vofHu4HVDmICl5Fojdv33/58Ddr64/z/xK9uHTrzQ9/+PvJP97uDVQhiApe9Z9FP55ePnbmWu4QfbT5ZM/E3NKNO97uClQtiApedaIPHm6+cuTiL901S3RqNjt8asnfHYGqBlHB8/KM7rnF397+ZMEQXVn766VDF27d3fB1N6DqQVTwfP3S5a2P5qdmsz0Tc4dPLX0+86uXOwD5CqKC54vo9c6fLx6cefHgzGtHv320+cTLHYB8BVHB8/inC8fOXHv+3fOzP/9e/VDkt6ETZTuw6t+vO/cfvTf1U/XjkPeGRfTZ148Fv+Mq2a7dR718y3iIG2fDInry3OLY3ongd9+R367dR4+3Lgzpm0gxNJpvmkY0MkGUKOogShR1ECWKOogSRR1EiaIOokRR9y/CIvMTlouZbgAAAABJRU5ErkJgggA=[/img][br][br]Corrobore esta informacion en la siguiente sección. (Recuerda en la version en linea el ; se sustituye por [br]el boton next)[br][br]El resultado será el siguiente:[br][br][img]data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAATEAAABGCAIAAAArVzTyAAADHUlEQVR4nO3a0ZaDIAxFUf//p52ncaGEECmSa3v20wylkFZusdZtB6Bkyy4AwAmZBLSQSUALmQS0kElAC5kEtJBJQAuZBLSQSUALmQS0dDK5/ft0mhmDLNMqdeVLKN/5+ii86M3EXd6hnbsIUpbRwKQ6y91//3XqxFzR40omUxz7ZOshfJ/MTG5nrfby/K3scGuc1ryRl+kM3q2n7m/O2+Jk0mnHq4UO6pRjXwfD7OB0M//2c9WtvFtVsHMkNpcY+4VFSiKTX6l/UJ1NprXbfDLO3UyWQ3UnNafu9ndegl9PvVUGJ7p0Y5/8KbczOT5TbPUPZLJsDO7Gd6uK1/ZJ/a0ZyeRPWXpx3/l3Py9rf58p2/3U1d2eyKRTzyeZjHwGdQfB66zYJ52Mtc4hW7MfPS8xcMYxN8+yczyWzuCteo5nXVrMqswig/0j9eMV1I/f+hV2K5MLJp34FLyC4nHtbp4LCjDrSSnGJFUM5uLQAlrIJKDF++7kX2NQI14eEBS99M+KB9YI3XpGIIFlZmbS/52w1bke3xykPpc2H+qOE3wV8f7AXOvurWuN7MfejGvroe5c8aqALGn75N7OpDOOM6y/T5I0vEXm90kzk34I45m8tYsCOjKvu5JJoJb2+2Q5ePnvfj7nvHRondCaD5njxAsDUrD4Tggk0rH+Tggk0rEEAS1kEtCSfA8639+Ai/x70MkkUMq/B51MAqXMe+vKKSLjmO31OXZ8Xj4OICjzHnRzfDOiTvvxd5nSgXkBEXL75GZx2s1BgPeS+z7ZmsuvgUzia8hddx0+d32mOmC1zN8nnRPRePvYCfPxxFmvBZjlRxclgYSsH12XBBKyWJqAFjIJaEm+B72c67nBHxoZeEL+byFrxgfeIv+egXIiAJn31o39Drmfz3Uv7eb4rUZ+EYGgtHvQ66i0pqvjaj6l9fFh1m+OAyhI2yeHM+kXGc+kXx6QJe37JJkETGnXXckkYBK6B72+bNNtPNr3IpNj45QDzn2ZwC2sP0ALmQS0kElAC5kEtJBJQAuZBLSQSUALmQS0kElAC5kEtJBJQMsf3Mugm713qd8AAAAASUVORK5CYIIA[/img][br]
Prolog en linea

Information: Variables