Ejemplos Prolog

SI 2014/15

Índice General

• 1 Recursos
• 2 Ejemplos

1 Recursos

• CIA Fact Book 1994, versión Prolog
  • Copia local adaptada a SWI-Prolog a utilizar: cia-worldfactbook-data.pl
  • Versión original: feldman-cia-worldfactbook-data.txt
  • Versión datahub.io: www.datahub.io
  • Versión web actual (2013) [www.cia.gov]
  • The MONDIAL Database: colección similar más completa y en otros formatos(SQL, RDF).
    • The MONDIAL Database,
    • Descarga [formato datalog]

• SWI-Prolog
  • descarga
  • manual

2 Ejemplos

1. En un fichero Prolog paises.pl forzar las carga de los predicados del Cia Fact Book y construir unos predicados ''adaptadores'' para extraer a partir de los hechos originales (predicados bgfact/3) unos nuevos predicados más manejables.

   :- ensure_loaded('cia-worldfactbook-data.pl').
   
   
   landBounderies(Pais, Valores)   :- bgfact(Pais,'LandBounderies',Valores).
   naturalResources(Pais, Valores) :- bgfact(Pais,'NaturalResources',Valores).
   ...
   agriculture(Pais, Valores)      :- bgfact(Pais,'Agriculture',Valores).
   

2. Implementar un predicado afinidad_politica(Pais1, Pais2, Afinidad) que cuantifique la ''afinidad'' entre dos países en base a su pertenencia a organizaciones internacionales.
   • Se puede utilizar el coeficiente de Jaccard [wikipedia] como medida de similaridad para cuantificar el solapamiento entre las listas de organizaciones a las que pertenezcan los paises considerados.

     
     

     $$Jaccard(A,B) = \frac{\vert A \cap B\vert}{\vert A \cup B\vert}$$
     
     

     Da valores cercanos a 1 para conjuntos similares y cercanos a 0 para conjuntos diferentes.

     Otra media similar sería el coeficiente Dice [wikipedia]

   • Pueden implementarse ''manualmente'' las operaciones de unión e intersección de listas o utilizar las implementaciones de la librería lists de SWI-prolog [manual] que incluye los predicados intersection(+Set1, +Set2, -Set3), union(+Set1, +Set2, -Set3) y length(List, Length).

     :- ensure_loaded('cia-worldfactbook-data.pl').
     
     
     landBounderies(Pais, Valores)   :- bgfact(Pais,'LandBounderies',Valores).
     naturalResources(Pais, Valores) :- bgfact(Pais,'NaturalResources',Valores).
     ...
     agriculture(Pais, Valores)      :- bgfact(Pais,'Agriculture',Valores).
     
     
     library(lists).
     
     
     coeficiente_jaccard(Lista1, Lista2, Valor) :- 
               intersection(Lista1, Lista2, Interseccion), 
               length(Interseccion, A),
               union(Lista1, Lista2, Union), 
               length(Union, B),
               Valor is float(A) / float(B).
     
     afinidad_politica(Pais1, Pais2, Afinidad) :- 
               memberOf(Pais1, Organizaciones1),
               memberOf(Pais2, Organizaciones2),
               coeficiente_jaccard(Organizaciones1, Organizaciones2, Afinidad).
     

     Desde el promt de swi-prolog se puede comprobar la ''similaridad'' entre pares de paises.

     ?- consult('paises.pl').
     
     ?- afinidad_politica('Spain', 'France', X).                                            
     ?- afinidad_politica('Sudan', 'France', X).                                            
     ?- afinidad_politica('Germany', 'France', X).
     

3. Puede implementarse otro tipo de similaridad más complejo combinando las similaridades en base a varias características de los paises mediante algún tipo de ponderación.

   Por ejemplo: ''similaridad'' basada en

   • recursos naturales [NaturalResources] (con un peso de 0.40)
   • producción agrícola [Agriculture] (con un peso de 0.30)
   • producción industrial [Industries] (con un peso de 0.3)

4. Puede explotarse la lista/predicado LandBoundaries para definir un predicado vecino(Pais1, Pais2)

   ...
   
   vecino(Pais1, Pais2) :- landBounderies(Pais1, Vecinos),
                           member(Pais2, Vecinos).
   

   y usar ese predicado para encontrar ''rutas'' entre paises o para encontrar la lista de paises que están a menos de K saltos de uno dado.

5. Puede explotarse la lista/predicado ExportCommodities para identificar paises que son competidores comerciales de uno dado combinarlo con la lista/predicado ImportCommodities para identificar posibles paises que podría aliarse comercialmente y complementar sus exportaciones.