1/* @(#)rivers.pl	24.1 2/23/88 */
    2
    3/* 
    4	Copyright 1986, Fernando C.N. Pereira and David H.D. Warren,
    5
    6			   All Rights Reserved
    7*/
    8% Facts about rivers.
    9% ------------------
   10
   11river(amazon,[atlantic,brazil,peru]).
   12river(amu_darya,[aral_sea,soviet_union,afghanistan]).
   13river(amur,[pacific,soviet_union,china,mongolia]).
   14river(brahmaputra,[indian_ocean,bangladesh,china]).
   15river(colorado,[pacific,mexico,united_states]).
   16river(congo_river,[atlantic,zaire,zambia]).
   17river(cubango,[botswana,south_africa,angola]).
   18river(danube,[black_sea,romania,yugoslavia,hungary,czechoslovakia,austria,
   19              west_germany]).
   20river(don,[black_sea,soviet_union]).
   21river(elbe,[atlantic,west_germany,east_germany,czechoslovakia]).
   22river(euphrates,[persian_gulf,iraq,syria,turkey]).
   23river(ganges,[indian_ocean,india,china]).
   24river(hwang_ho,[pacific,china]).
   25river(indus,[indian_ocean,pakistan,india,china]).
   26river(irrawaddy,[indian_ocean,burma]).
   27river(lena,[arctic_ocean,soviet_union]).
   28river(limpopo,[indian_ocean,mozambique,south_africa]).
   29river(mackenzie,[arctic_ocean,canada]).
   30river(mekong,[pacific,vietnam,cambodia,laos,china]).
   31river(mississippi,[atlantic,united_states]).
   32river(murray,[indian_ocean,australia]).
   33river(niger_river,[atlantic,nigeria,niger,mali,guinea]).
   34river(nile,[mediterranean,egypt,sudan,uganda]).
   35river(ob,[arctic_ocean,soviet_union]).
   36river(oder,[baltic,poland,czechoslovakia]).
   37river(orange,[atlantic,south_africa,lesotho]).
   38river(orinoco,[atlantic,venezuela,colombia]).
   39river(parana,[atlantic,argentina,paraguay,brazil]).
   40river(rhine,[atlantic,netherlands,west_germany,switzerland]).
   41river(rhone,[mediterranean,france,switzerland]).
   42river(rio_grande,[atlantic,mexico,united_states]).
   43river(salween,[indian_ocean,burma,china]).
   44river(senegal_river,[atlantic,senegal,mali,guinea]).
   45river(tagus,[atlantic,portugal,spain]).
   46river(vistula,[baltic,poland]).
   47river(volga,[black_sea,soviet_union]).
   48river(volta,[atlantic,ghana,upper_volta]).
   49river(yangtze,[pacific,china]).
   50river(yenisei,[arctic_ocean,soviet_union,mongolia]).
   51river(yukon,[pacific,united_states,canada]).
   52river(zambesi,[indian_ocean,mozambique,zambia,angola])