Module Border

Jan Burse, created May 21. 2019
/**
* Prolog text border from Chat80 as a module.
*
* Warranty & Liability
* To the extent permitted by applicable law and unless explicitly
* otherwise agreed upon, XLOG Technologies GmbH makes no warranties
* regarding the provided information. XLOG Technologies GmbH assumes
* no liability that any problems might be solved with the information
* provided by XLOG Technologies GmbH.
*
* Rights & License
* All industrial property rights regarding the information - copyright
* and patent rights in particular - are the sole property of XLOG
* Technologies GmbH. If the company was not the originator of some
* excerpts, XLOG Technologies GmbH has at least obtained the right to
* reproduce, change and translate the information.
*
* Reproduction is restricted to the whole unaltered document. Reproduction
* of the information is only allowed for non-commercial uses. Selling,
* giving away or letting of the execution of the library is prohibited.
* The library can be distributed as part of your applications and libraries
* for execution provided this comment remains unchanged.
*
* Restrictions
* Only to be distributed with programs that add significant and primary
* functionality to the library. Not to be distributed with additional
* software intended to replace any components of the library.
*
* Trademarks
* Jekejeke is a registered trademark of XLOG Technologies GmbH.
*/
:- if(current_prolog_flag(dialect,jekejeke)).
:- package(library(database)).
:- endif.
/**
* Obtained rights comment in Prolog text and text from LICENSE file:
*
* @(#)border.pl 24.1 2/23/88
*
* Copyright 1986, Fernando C.N. Pereira and David H.D. Warren,
*
* All Rights Reserved
*
* This program may be used, copied, altered or included in other programs
* only for academic purposes and provided that the authorship of the
* initial program is acknowledged. Use for commercial purposes without the
* previous written agreement of the authors is forbidden.
*/
:- module(border, [borders/2]).
% Facts about Europe.
% ------------------
borders(X, C) :-
var(X),
borders(C, X).
borders(albania, greece).
borders(albania, yugoslavia).
borders(albania, mediterranean).
borders(andorra, france).
borders(andorra, spain).
borders(austria, czechoslovakia).
borders(austria, hungary).
borders(austria, italy).
borders(austria, liechtenstein).
borders(austria, switzerland).
borders(austria, west_germany).
borders(austria, yugoslavia).
borders(belgium, france).
borders(belgium, luxembourg).
borders(belgium, netherlands).
borders(belgium, west_germany).
borders(belgium, atlantic).
borders(bulgaria, greece).
borders(bulgaria, romania).
borders(bulgaria, turkey).
borders(bulgaria, yugoslavia).
borders(bulgaria, black_sea).
borders(cyprus, mediterranean).
borders(czechoslovakia, austria).
borders(czechoslovakia, east_germany).
borders(czechoslovakia, hungary).
borders(czechoslovakia, poland).
borders(czechoslovakia, soviet_union).
borders(czechoslovakia, west_germany).
borders(denmark, west_germany).
borders(denmark, atlantic).
borders(denmark, baltic).
borders(eire, united_kingdom).
borders(eire, atlantic).
borders(finland, norway).
borders(finland, soviet_union).
borders(finland, sweden).
borders(finland, baltic).
borders(france, andorra).
borders(france, belgium).
borders(france, italy).
borders(france, luxembourg).
borders(france, monaco).
borders(france, spain).
borders(france, switzerland).
borders(france, west_germany).
borders(france, atlantic).
borders(france, mediterranean).
borders(east_germany, czechoslovakia).
borders(east_germany, poland).
borders(east_germany, west_germany).
borders(east_germany, baltic).
borders(greece, albania).
borders(greece, bulgaria).
borders(greece, turkey).
borders(greece, yugoslavia).
borders(greece, mediterranean).
borders(hungary, austria).
borders(hungary, czechoslovakia).
borders(hungary, romania).
borders(hungary, soviet_union).
borders(hungary, yugoslavia).
borders(iceland, atlantic).
borders(italy, austria).
borders(italy, france).
borders(italy, san_marino).
borders(italy, switzerland).
borders(italy, yugoslavia).
borders(italy, mediterranean).
borders(liechtenstein, austria).
borders(liechtenstein, switzerland).
borders(luxembourg, belgium).
borders(luxembourg, france).
borders(luxembourg, west_germany).
borders(malta, mediterranean).
borders(monaco, france).
borders(monaco, mediterranean).
borders(netherlands, belgium).
borders(netherlands, west_germany).
borders(netherlands, atlantic).
borders(norway, finland).
borders(norway, sweden).
borders(norway, soviet_union).
borders(norway, arctic_ocean).
borders(norway, atlantic).
borders(poland, czechoslovakia).
borders(poland, east_germany).
borders(poland, soviet_union).
borders(poland, baltic).
borders(portugal, spain).
borders(portugal, atlantic).
borders(romania, bulgaria).
borders(romania, hungary).
borders(romania, soviet_union).
borders(romania, yugoslavia).
borders(romania, black_sea).
borders(san_marino, italy).
borders(san_marino, mediterranean).
borders(spain, andorra).
borders(spain, france).
borders(spain, portugal).
borders(spain, atlantic).
borders(spain, mediterranean).
borders(sweden, finland).
borders(sweden, norway).
borders(sweden, atlantic).
borders(sweden, baltic).
borders(switzerland, austria).
borders(switzerland, france).
borders(switzerland, italy).
borders(switzerland, liechtenstein).
borders(switzerland, west_germany).
borders(west_germany, austria).
borders(west_germany, belgium).
borders(west_germany, czechoslovakia).
borders(west_germany, denmark).
borders(west_germany, east_germany).
borders(west_germany, france).
borders(west_germany, luxembourg).
borders(west_germany, netherlands).
borders(west_germany, switzerland).
borders(west_germany, atlantic).
borders(west_germany, baltic).
borders(united_kingdom, eire).
borders(united_kingdom, atlantic).
borders(yugoslavia, albania).
borders(yugoslavia, austria).
borders(yugoslavia, bulgaria).
borders(yugoslavia, greece).
borders(yugoslavia, hungary).
borders(yugoslavia, italy).
borders(yugoslavia, romania).
borders(yugoslavia, mediterranean).
% Facts about Asia.
% ----------------
borders(afghanistan, china).
borders(afghanistan, iran).
borders(afghanistan, pakistan).
borders(afghanistan, soviet_union).
borders(bahrain, persian_gulf).
borders(bangladesh, burma).
borders(bangladesh, india).
borders(bangladesh, indian_ocean).
borders(bhutan, china).
borders(bhutan, india).
borders(burma, bangladesh).
borders(burma, china).
borders(burma, india).
borders(burma, laos).
borders(burma, thailand).
borders(burma, indian_ocean).
borders(cambodia, laos).
borders(cambodia, thailand).
borders(cambodia, vietnam).
borders(cambodia, pacific).
borders(china, afghanistan).
borders(china, bhutan).
borders(china, burma).
borders(china, india).
borders(china, laos).
borders(china, mongolia).
borders(china, nepal).
borders(china, north_korea).
borders(china, pakistan).
borders(china, soviet_union).
borders(china, vietnam).
borders(china, pacific).
borders(india, bangladesh).
borders(india, bhutan).
borders(india, burma).
borders(india, china).
borders(india, nepal).
borders(india, pakistan).
borders(india, indian_ocean).
borders(indonesia, malaysia).
borders(indonesia, papua_new_guinea).
borders(indonesia, indian_ocean).
borders(indonesia, pacific).
borders(iran, afghanistan).
borders(iran, iraq).
borders(iran, pakistan).
borders(iran, soviet_union).
borders(iran, turkey).
borders(iran, caspian).
borders(iran, persian_gulf).
borders(iran, indian_ocean).
borders(iraq, iran).
borders(iraq, jordan).
borders(iraq, kuwait).
borders(iraq, saudi_arabia).
borders(iraq, syria).
borders(iraq, turkey).
borders(iraq, persian_gulf).
borders(israel, egypt).
borders(israel, jordan).
borders(laos, burma).
borders(laos, cambodia).
borders(laos, china).
borders(laos, thailand).
borders(laos, vietnam).
borders(israel, lebanon).
borders(israel, syria).
borders(israel, mediterranean).
borders(israel, red_sea).
borders(japan, pacific).
borders(jordan, iraq).
borders(jordan, israel).
borders(jordan, saudi_arabia).
borders(jordan, syria).
borders(jordan, red_sea).
borders(kuwait, iraq).
borders(kuwait, saudi_arabia).
borders(kuwait, persian_gulf).
borders(lebanon, israel).
borders(lebanon, syria).
borders(lebanon, mediterranean).
borders(malaysia, indonesia).
borders(malaysia, singapore).
borders(malaysia, thailand).
borders(malaysia, indian_ocean).
borders(malaysia, pacific).
borders(maldives, indian_ocean).
borders(mongolia, china).
borders(mongolia, soviet_union).
borders(nepal, china).
borders(nepal, india).
borders(north_korea, china).
borders(north_korea, south_korea).
borders(north_korea, soviet_union).
borders(north_korea, pacific).
borders(oman, saudi_arabia).
borders(oman, united_arab_emirates).
borders(oman, south_yemen).
borders(oman, indian_ocean).
borders(pakistan, afghanistan).
borders(pakistan, china).
borders(pakistan, india).
borders(pakistan, iran).
borders(pakistan, indian_ocean).
borders(philippines, pacific).
borders(qatar, saudi_arabia).
borders(qatar, united_arab_emirates).
borders(qatar, persian_gulf).
borders(saudi_arabia, iraq).
borders(saudi_arabia, jordan).
borders(saudi_arabia, kuwait).
borders(saudi_arabia, oman).
borders(saudi_arabia, qatar).
borders(saudi_arabia, south_yemen).
borders(saudi_arabia, united_arab_emirates).
borders(saudi_arabia, yemen).
borders(saudi_arabia, persian_gulf).
borders(saudi_arabia, red_sea).
borders(singapore, malaysia).
borders(singapore, pacific).
borders(south_korea, north_korea).
borders(south_korea, pacific).
borders(south_yemen, oman).
borders(south_yemen, saudi_arabia).
borders(south_yemen, yemen).
borders(south_yemen, indian_ocean).
borders(soviet_union, afghanistan).
borders(soviet_union, china).
borders(soviet_union, czechoslovakia).
borders(soviet_union, finland).
borders(soviet_union, hungary).
borders(soviet_union, iran).
borders(soviet_union, mongolia).
borders(soviet_union, north_korea).
borders(soviet_union, norway).
borders(soviet_union, poland).
borders(soviet_union, romania).
borders(soviet_union, turkey).
borders(soviet_union, arctic_ocean).
borders(soviet_union, baltic).
borders(soviet_union, black_sea).
borders(soviet_union, caspian).
borders(soviet_union, pacific).
borders(sri_lanka, indian_ocean).
borders(syria, iraq).
borders(syria, israel).
borders(syria, jordan).
borders(syria, lebanon).
borders(syria, turkey).
borders(syria, mediterranean).
borders(taiwan, pacific).
borders(thailand, burma).
borders(thailand, cambodia).
borders(thailand, laos).
borders(thailand, malaysia).
borders(thailand, indian_ocean).
borders(thailand, pacific).
borders(turkey, bulgaria).
borders(turkey, greece).
borders(turkey, iran).
borders(turkey, iraq).
borders(turkey, soviet_union).
borders(turkey, syria).
borders(turkey, black_sea).
borders(turkey, mediterranean).
borders(united_arab_emirates, oman).
borders(united_arab_emirates, qatar).
borders(united_arab_emirates, saudi_arabia).
borders(united_arab_emirates, persian_gulf).
borders(vietnam, cambodia).
borders(vietnam, china).
borders(vietnam, laos).
borders(vietnam, pacific).
borders(yemen, south_yemen).
borders(yemen, saudi_arabia).
borders(yemen, red_sea).
% Facts about Africa.
% ------------------
borders(algeria, libya).
borders(algeria, mali).
borders(algeria, mauritania).
borders(algeria, morocco).
borders(algeria, niger).
borders(algeria, tunisia).
borders(algeria, mediterranean).
borders(angola, congo).
borders(angola, south_africa).
borders(angola, zaire).
borders(angola, zambia).
borders(angola, atlantic).
borders(botswana, south_africa).
borders(botswana, zimbabwe).
borders(burundi, rwanda).
borders(burundi, tanzania).
borders(burundi, zaire).
borders(cameroon, central_african_republic).
borders(cameroon, chad).
borders(cameroon, congo).
borders(cameroon, equatorial_guinea).
borders(cameroon, gabon).
borders(cameroon, nigeria).
borders(cameroon, atlantic).
borders(central_african_republic, cameroon).
borders(central_african_republic, chad).
borders(central_african_republic, congo).
borders(central_african_republic, sudan).
borders(central_african_republic, zaire).
borders(chad, cameroon).
borders(chad, central_african_republic).
borders(chad, libya).
borders(chad, niger).
borders(chad, nigeria).
borders(chad, sudan).
borders(congo, angola).
borders(congo, cameroon).
borders(congo, central_african_republic).
borders(congo, gabon).
borders(congo, zaire).
borders(congo, atlantic).
borders(dahomey, niger).
borders(dahomey, nigeria).
borders(dahomey, togo).
borders(dahomey, upper_volta).
borders(dahomey, atlantic).
borders(djibouti, ethiopia).
borders(djibouti, somalia).
borders(djibouti, indian_ocean).
borders(egypt, israel).
borders(egypt, libya).
borders(egypt, sudan).
borders(egypt, mediterranean).
borders(egypt, red_sea).
borders(equatorial_guinea, cameroon).
borders(equatorial_guinea, gabon).
borders(equatorial_guinea, atlantic).
borders(ethiopia, djibouti).
borders(ethiopia, kenya).
borders(ethiopia, somalia).
borders(ethiopia, sudan).
borders(ethiopia, red_sea).
borders(gabon, cameroon).
borders(gabon, congo).
borders(gabon, equatorial_guinea).
borders(gabon, atlantic).
borders(gambia, senegal).
borders(gambia, atlantic).
borders(ghana, ivory_coast).
borders(ghana, togo).
borders(ghana, upper_volta).
borders(ghana, atlantic).
borders(guinea, guinea_bissau).
borders(guinea, ivory_coast).
borders(guinea, liberia).
borders(guinea, mali).
borders(guinea, senegal).
borders(guinea, sierra_leone).
borders(guinea, atlantic).
borders(guinea_bissau, guinea).
borders(guinea_bissau, senegal).
borders(guinea_bissau, atlantic).
borders(ivory_coast, ghana).
borders(ivory_coast, guinea).
borders(ivory_coast, liberia).
borders(ivory_coast, mali).
borders(ivory_coast, upper_volta).
borders(ivory_coast, atlantic).
borders(kenya, ethiopia).
borders(kenya, somalia).
borders(kenya, sudan).
borders(kenya, tanzania).
borders(kenya, uganda).
borders(kenya, indian_ocean).
borders(lesotho, south_africa).
borders(liberia, ivory_coast).
borders(liberia, guinea).
borders(liberia, sierra_leone).
borders(liberia, atlantic).
borders(libya, algeria).
borders(libya, chad).
borders(libya, egypt).
borders(libya, niger).
borders(libya, sudan).
borders(libya, tunisia).
borders(libya, mediterranean).
borders(malagasy, indian_ocean).
borders(malawi, mozambique).
borders(malawi, tanzania).
borders(malawi, zambia).
borders(mali, algeria).
borders(mali, guinea).
borders(mali, ivory_coast).
borders(mali, mauritania).
borders(mali, niger).
borders(mali, senegal).
borders(mali, upper_volta).
borders(mauritania, algeria).
borders(mauritania, mali).
borders(mauritania, morocco).
borders(mauritania, senegal).
borders(mauritania, atlantic).
borders(mauritius, indian_ocean).
borders(morocco, algeria).
borders(morocco, mauritania).
borders(morocco, atlantic).
borders(morocco, mediterranean).
borders(mozambique, malawi).
borders(mozambique, south_africa).
borders(mozambique, swaziland).
borders(mozambique, tanzania).
borders(mozambique, zambia).
borders(mozambique, zimbabwe).
borders(mozambique, indian_ocean).
borders(niger, algeria).
borders(niger, chad).
borders(niger, dahomey).
borders(niger, libya).
borders(niger, mali).
borders(niger, nigeria).
borders(niger, upper_volta).
borders(nigeria, cameroon).
borders(nigeria, chad).
borders(nigeria, dahomey).
borders(nigeria, niger).
borders(nigeria, atlantic).
borders(rwanda, burundi).
borders(rwanda, tanzania).
borders(rwanda, uganda).
borders(rwanda, zaire).
borders(senegal, gambia).
borders(senegal, guinea).
borders(senegal, guinea_bissau).
borders(senegal, mali).
borders(senegal, mauritania).
borders(senegal, atlantic).
borders(seychelles, indian_ocean).
borders(sierra_leone, guinea).
borders(sierra_leone, liberia).
borders(sierra_leone, atlantic).
borders(somalia, djibouti).
borders(somalia, ethiopia).
borders(somalia, kenya).
borders(somalia, indian_ocean).
borders(south_africa, angola).
borders(south_africa, botswana).
borders(south_africa, lesotho).
borders(south_africa, mozambique).
borders(south_africa, swaziland).
borders(south_africa, zambia).
borders(south_africa, zimbabwe).
borders(south_africa, atlantic).
borders(south_africa, indian_ocean).
borders(sudan, chad).
borders(sudan, central_african_republic).
borders(sudan, egypt).
borders(sudan, ethiopia).
borders(sudan, kenya).
borders(sudan, libya).
borders(sudan, uganda).
borders(sudan, zaire).
borders(sudan, red_sea).
borders(swaziland, mozambique).
borders(swaziland, south_africa).
borders(tanzania, burundi).
borders(tanzania, kenya).
borders(tanzania, malawi).
borders(tanzania, mozambique).
borders(tanzania, rwanda).
borders(tanzania, uganda).
borders(tanzania, zaire).
borders(tanzania, zambia).
borders(tanzania, indian_ocean).
borders(togo, dahomey).
borders(togo, ghana).
borders(togo, upper_volta).
borders(togo, atlantic).
borders(tunisia, algeria).
borders(tunisia, libya).
borders(tunisia, mediterranean).
borders(uganda, kenya).
borders(uganda, rwanda).
borders(uganda, sudan).
borders(uganda, tanzania).
borders(uganda, zaire).
borders(upper_volta, dahomey).
borders(upper_volta, ghana).
borders(upper_volta, ivory_coast).
borders(upper_volta, mali).
borders(upper_volta, niger).
borders(upper_volta, togo).
borders(zaire, angola).
borders(zaire, burundi).
borders(zaire, central_african_republic).
borders(zaire, congo).
borders(zaire, rwanda).
borders(zaire, sudan).
borders(zaire, tanzania).
borders(zaire, uganda).
borders(zaire, zambia).
borders(zaire, atlantic).
borders(zambia, angola).
borders(zambia, malawi).
borders(zambia, mozambique).
borders(zambia, south_africa).
borders(zambia, tanzania).
borders(zambia, zaire).
borders(zambia, zimbabwe).
borders(zimbabwe, botswana).
borders(zimbabwe, mozambique).
borders(zimbabwe, south_africa).
borders(zimbabwe, zambia).
% Facts about America.
% -------------------
borders(argentina, bolivia).
borders(argentina, brazil).
borders(argentina, chile).
borders(argentina, paraguay).
borders(argentina, uruguay).
borders(argentina, atlantic).
borders(bahamas, atlantic).
borders(barbados, atlantic).
borders(belize, guatemala).
borders(belize, mexico).
borders(belize, atlantic).
borders(bolivia, argentina).
borders(bolivia, brazil).
borders(bolivia, chile).
borders(bolivia, paraguay).
borders(bolivia, peru).
borders(brazil, argentina).
borders(brazil, bolivia).
borders(brazil, colombia).
borders(brazil, french_guiana).
borders(brazil, guyana).
borders(brazil, paraguay).
borders(brazil, peru).
borders(brazil, surinam).
borders(brazil, uruguay).
borders(brazil, venezuela).
borders(brazil, atlantic).
borders(canada, united_states).
borders(canada, arctic_ocean).
borders(canada, atlantic).
borders(canada, pacific).
borders(chile, argentina).
borders(chile, bolivia).
borders(chile, peru).
borders(chile, pacific).
borders(colombia, brazil).
borders(colombia, ecuador).
borders(colombia, panama).
borders(colombia, peru).
borders(colombia, venezuela).
borders(colombia, atlantic).
borders(colombia, pacific).
borders(costa_rica, nicaragua).
borders(costa_rica, panama).
borders(costa_rica, atlantic).
borders(costa_rica, pacific).
borders(cuba, atlantic).
borders(dominican_republic, haiti).
borders(dominican_republic, atlantic).
borders(ecuador, colombia).
borders(ecuador, peru).
borders(ecuador, pacific).
borders(el_salvador, guatemala).
borders(el_salvador, honduras).
borders(el_salvador, pacific).
borders(french_guiana, brazil).
borders(french_guiana, surinam).
borders(greenland, arctic_ocean).
borders(greenland, atlantic).
borders(grenada, atlantic).
borders(guatemala, belize).
borders(guatemala, el_salvador).
borders(guatemala, honduras).
borders(guatemala, mexico).
borders(guatemala, atlantic).
borders(guatemala, pacific).
borders(guyana, brazil).
borders(guyana, surinam).
borders(guyana, venezuela).
borders(guyana, atlantic).
borders(haiti, dominican_republic).
borders(haiti, atlantic).
borders(honduras, el_salvador).
borders(honduras, guatemala).
borders(honduras, nicaragua).
borders(honduras, atlantic).
borders(honduras, pacific).
borders(jamaica, atlantic).
borders(mexico, belize).
borders(mexico, guatemala).
borders(mexico, united_states).
borders(mexico, atlantic).
borders(mexico, pacific).
borders(nicaragua, costa_rica).
borders(nicaragua, honduras).
borders(nicaragua, atlantic).
borders(nicaragua, pacific).
borders(panama, colombia).
borders(panama, costa_rica).
borders(panama, atlantic).
borders(panama, pacific).
borders(paraguay, argentina).
borders(paraguay, bolivia).
borders(paraguay, brazil).
borders(peru, bolivia).
borders(peru, brazil).
borders(peru, chile).
borders(peru, colombia).
borders(peru, ecuador).
borders(peru, pacific).
borders(surinam, brazil).
borders(surinam, french_guiana).
borders(surinam, guyana).
borders(trinidad_and_tobago, atlantic).
borders(united_states, canada).
borders(united_states, mexico).
borders(united_states, arctic_ocean).
borders(united_states, atlantic).
borders(united_states, pacific).
borders(uruguay, argentina).
borders(uruguay, brazil).
borders(uruguay, atlantic).
borders(venezuela, brazil).
borders(venezuela, colombia).
borders(venezuela, guyana).
borders(venezuela, atlantic).
% Facts about Australasia.
% -----------------------
borders(australia, indian_ocean).
borders(australia, pacific).
borders(fiji, pacific).
borders(new_zealand, pacific).
borders(papua_new_guinea, indonesia).
borders(papua_new_guinea, pacific).
borders(tonga, pacific).
borders(western_samoa, pacific).
borders(antarctica, southern_ocean).
% Facts about oceans and seas.
% ---------------------------
borders(arctic_ocean, atlantic).
borders(arctic_ocean, pacific).
borders(atlantic, arctic_ocean).
borders(atlantic, indian_ocean).
borders(atlantic, pacific).
borders(atlantic, southern_ocean).
borders(atlantic, baltic).
borders(atlantic, mediterranean).
borders(indian_ocean, atlantic).
borders(indian_ocean, pacific).
borders(indian_ocean, southern_ocean).
borders(indian_ocean, persian_gulf).
borders(indian_ocean, red_sea).
borders(pacific, arctic_ocean).
borders(pacific, atlantic).
borders(pacific, indian_ocean).
borders(pacific, southern_ocean).
borders(southern_ocean, atlantic).
borders(southern_ocean, indian_ocean).
borders(southern_ocean, pacific).
borders(baltic, atlantic).
borders(black_sea, mediterranean).
borders(mediterranean, atlantic).
borders(mediterranean, black_sea).
borders(persian_gulf, indian_ocean).
borders(red_sea, indian_ocean).
% Countries bordering each ocean and sea.
% --------------------------------------
borders(arctic_ocean, norway).
borders(arctic_ocean, soviet_union).
borders(arctic_ocean, canada).
borders(arctic_ocean, greenland).
borders(arctic_ocean, united_states).
borders(atlantic, belgium).
borders(atlantic, denmark).
borders(atlantic, eire).
borders(atlantic, france).
borders(atlantic, iceland).
borders(atlantic, netherlands).
borders(atlantic, norway).
borders(atlantic, portugal).
borders(atlantic, spain).
borders(atlantic, sweden).
borders(atlantic, west_germany).
borders(atlantic, united_kingdom).
borders(atlantic, angola).
borders(atlantic, cameroon).
borders(atlantic, congo).
borders(atlantic, dahomey).
borders(atlantic, equatorial_guinea).
borders(atlantic, gabon).
borders(atlantic, gambia).
borders(atlantic, ghana).
borders(atlantic, guinea).
borders(atlantic, guinea_bissau).
borders(atlantic, ivory_coast).
borders(atlantic, liberia).
borders(atlantic, mauritania).
borders(atlantic, morocco).
borders(atlantic, nigeria).
borders(atlantic, senegal).
borders(atlantic, sierra_leone).
borders(atlantic, south_africa).
borders(atlantic, togo).
borders(atlantic, zaire).
borders(atlantic, argentina).
borders(atlantic, bahamas).
borders(atlantic, barbados).
borders(atlantic, belize).
borders(atlantic, brazil).
borders(atlantic, canada).
borders(atlantic, colombia).
borders(atlantic, costa_rica).
borders(atlantic, cuba).
borders(atlantic, dominican_republic).
borders(atlantic, french_guiana).
borders(atlantic, greenland).
borders(atlantic, grenada).
borders(atlantic, guatemala).
borders(atlantic, guyana).
borders(atlantic, haiti).
borders(atlantic, honduras).
borders(atlantic, jamaica).
borders(atlantic, mexico).
borders(atlantic, nicaragua).
borders(atlantic, panama).
borders(atlantic, surinam).
borders(atlantic, trinidad_and_tobago).
borders(atlantic, united_states).
borders(atlantic, uruguay).
borders(atlantic, venezuela).
borders(indian_ocean, bangladesh).
borders(indian_ocean, burma).
borders(indian_ocean, india).
borders(indian_ocean, indonesia).
borders(indian_ocean, iran).
borders(indian_ocean, malaysia).
borders(indian_ocean, maldives).
borders(indian_ocean, oman).
borders(indian_ocean, pakistan).
borders(indian_ocean, south_yemen).
borders(indian_ocean, sri_lanka).
borders(indian_ocean, thailand).
borders(indian_ocean, djibouti).
borders(indian_ocean, kenya).
borders(indian_ocean, malagasy).
borders(indian_ocean, mauritius).
borders(indian_ocean, mozambique).
borders(indian_ocean, seychelles).
borders(indian_ocean, somalia).
borders(indian_ocean, south_africa).
borders(indian_ocean, tanzania).
borders(indian_ocean, australia).
borders(pacific, cambodia).
borders(pacific, china).
borders(pacific, indonesia).
borders(pacific, japan).
borders(pacific, malaysia).
borders(pacific, north_korea).
borders(pacific, philippines).
borders(pacific, singapore).
borders(pacific, south_korea).
borders(pacific, soviet_union).
borders(pacific, taiwan).
borders(pacific, thailand).
borders(pacific, vietnam).
borders(pacific, canada).
borders(pacific, chile).
borders(pacific, colombia).
borders(pacific, costa_rica).
borders(pacific, ecuador).
borders(pacific, el_salvador).
borders(pacific, guatemala).
borders(pacific, honduras).
borders(pacific, mexico).
borders(pacific, nicaragua).
borders(pacific, panama).
borders(pacific, peru).
borders(pacific, united_states).
borders(pacific, australia).
borders(pacific, fiji).
borders(pacific, new_zealand).
borders(pacific, papua_new_guinea).
borders(pacific, tonga).
borders(pacific, western_samoa).
borders(southern_ocean, antarctica).
borders(baltic, denmark).
borders(baltic, finland).
borders(baltic, east_germany).
borders(baltic, poland).
borders(baltic, sweden).
borders(baltic, west_germany).
borders(baltic, soviet_union).
borders(black_sea, bulgaria).
borders(black_sea, romania).
borders(black_sea, soviet_union).
borders(black_sea, turkey).
borders(caspian, iran).
borders(caspian, soviet_union).
borders(mediterranean, albania).
borders(mediterranean, cyprus).
borders(mediterranean, france).
borders(mediterranean, greece).
borders(mediterranean, italy).
borders(mediterranean, malta).
borders(mediterranean, monaco).
borders(mediterranean, san_marino).
borders(mediterranean, spain).
borders(mediterranean, yugoslavia).
borders(mediterranean, israel).
borders(mediterranean, lebanon).
borders(mediterranean, syria).
borders(mediterranean, turkey).
borders(mediterranean, algeria).
borders(mediterranean, egypt).
borders(mediterranean, libya).
borders(mediterranean, morocco).
borders(mediterranean, tunisia).
borders(persian_gulf, bahrain).
borders(persian_gulf, iran).
borders(persian_gulf, iraq).
borders(persian_gulf, kuwait).
borders(persian_gulf, qatar).
borders(persian_gulf, saudi_arabia).
borders(persian_gulf, united_arab_emirates).
borders(red_sea, israel).
borders(red_sea, jordan).
borders(red_sea, saudi_arabia).
borders(red_sea, yemen).
borders(red_sea, egypt).
borders(red_sea, ethiopia).
borders(red_sea, sudan).

Comments