home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Benchmarks / query.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  1.2 KB  |  48 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. %    query
  5. %    from Warren's thesis
  6.  
  7. main :-
  8.     query(X),
  9.     write(X), nl,
  10.     fail.
  11.  
  12. query([C1,D1,C2,D2]) :- 
  13.     density(C1,D1), 
  14.     density(C2,D2),
  15.     D1 > D2,
  16.     T1 is 20*D1,
  17.     T2 is 21*D2,
  18.     T1 < T2.
  19.  
  20. density(C,D) :- pop(C,P), area(C,A), D is (P*100)/A.
  21.  
  22. pop(china,    8250).    area(china,    3380).
  23. pop(india,    5863).    area(india,    1139).
  24. pop(ussr,    2521).    area(ussr,    8708).
  25. pop(usa,    2119).    area(usa,    3609).
  26. pop(indonesia,    1276).    area(indonesia,    570).
  27. pop(japan,    1097).    area(japan,    148).
  28. pop(brazil,    1042).    area(brazil,    3288).
  29. pop(bangladesh,    750).    area(bangladesh,55).
  30. pop(pakistan,    682).    area(pakistan,    311).
  31. pop(w_germany,    620).    area(w_germany,    96).
  32. pop(nigeria,    613).    area(nigeria,    373).
  33. pop(mexico,    581).    area(mexico,    764).
  34. pop(uk,        559).    area(uk,    86).
  35. pop(italy,    554).    area(italy,    116).
  36. pop(france,    525).    area(france,    213).
  37. pop(phillipines,415).    area(phillipines,90).
  38. pop(thailand,    410).    area(thailand,    200).
  39. pop(turkey,    383).    area(turkey,    296).
  40. pop(egypt,    364).    area(egypt,    386).
  41. pop(spain,    352).    area(spain,    190).
  42. pop(poland,    337).    area(poland,    121).
  43. pop(s_korea,    335).    area(s_korea,    37).
  44. pop(iran,    320).    area(iran,    628).
  45. pop(ethiopia,    272).    area(ethiopia,    350).
  46. pop(argentina,    251).    area(argentina,    1080).
  47.  
  48.