Skip to content

Instantly share code, notes, and snippets.

@abelsouzacosta

abelsouzacosta/south_america.p

Created September 24, 2025 00:15
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save abelsouzacosta/2d25235dc9349d03cc9c098af4c5192a to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save abelsouzacosta/2d25235dc9349d03cc9c098af4c5192a to your computer and use it in GitHub Desktop.
Download ZIP
This is a knowledge database about south america countries
Raw
south_america.p
% list of all south america countries
country(brazil).
country(argentina).
country(paraguay).
country(equador).
country(peru).
country(chile).
country(colombia).
country(venezuela).
country(uruguay).
country(guiana).
country(suriname).
country(bolivia).
% capitals
capital(brazil, brasilia).
capital(argentina, buenosaires).
capital(paraguay, asuncion).
capital(equador, quito).
capital(peru, lima).
capital(chile, santiago).
capital(colombia, bogota).
capital(venezuela, caracas).
capital(uruguay, montivideo).
capital(guiana, georgetown).
capital(suriname, paramaribo).
capital(bolivia, sucre).
capital(bolivia, lapaz).
% largest cities
largest_city(brazil, saopaulo).
largest_city(argentina, buenosaires).
largest_city(paraguay, asuncion).
largest_city(equador, guayaquil).
largest_city(peru, lima).
largest_city(chile, santiago).
largest_city(colombia, bogota).
largest_city(venezuela, caracas).
largest_city(uruguay, montivideo).
largest_city(guiana, georgetown).
largest_city(suriname, paramaribo).
largest_city(bolivia, santacruzdelasierra).
% border with oceans
ocean(argentina, atlantic).
ocean(brazil, atlantic).
ocean(guiana, atlantic).
ocean(suriname, atlantic).
ocean(uruguay, atlantic).
ocean(venezuela, atlantic).
ocean(chile, pacific).
ocean(colombia, pacific).
ocean(equador, pacific).
ocean(peru, pacific).
% members of mercosul
mercosul_member(argentina).
mercosul_member(brazil).
mercosul_member(paraguay).
mercosul_member(uruguay).
mercosul_member(bolivia).
% all neighbor countries
neighbors(brazil, argentina).
neighbors(brazil, bolivia).
neighbors(brazil, colombia).
neighbors(brazil, guiana).
neighbors(brazil, paraguay).
neighbors(brazil, peru).
neighbors(brazil, suriname).
neighbors(brazil, uruguay).
neighbors(brazil, venezuela).
neighbors(argentina, bolivia).
neighbors(argentina, chile).
neighbors(argentina, paraguay).
neighbors(argentina, uruguay).
neighbors(chile, bolivia).
neighbors(chile, peru).
neighbors(colombia, venezuela).
neighbors(colombia, equador).
neighbors(peru, equador).
neighbors(peru, colombia).
neighbors(venezuela, guiana).
neighbors(venezuela, brazil).
neighbors(venezuela, colombia).
neighbors(bolivia, paraguay).
neighbors(bolivia, chile).
neighbors(bolivia, peru).
neighbors(bolivia, argentina).
neighbors(bolivia, brazil).
% main language
speaks(argentina, spanish).
speaks(bolivia, spanish).
speaks(brazil, portuguese).
speaks(chile, spanish).
speaks(colombia, spanish).
speaks(equador, spanish).
speaks(guiana, english).
speaks(paraguay, spanish).
speaks(peru, spanish).
speaks(suriname, dutch).
speaks(uruguay, spanish).
speaks(venezuela, spanish).
% population (in millions)
population(argentina, 47.1).
population(brazil, 213).
population(chile, 19.1).
population(colombia, 52.8).
population(equador, 17.9).
population(guiana, 0.8).
population(paraguay, 7.5).
population(peru, 32.6).
population(suriname, 0.6).
population(uruguay, 3.5).
population(venezuela, 31.7).
% currencies
currency(argentina, argetinepeso).
currency(brazil, real).
currency(bolivia, boliviano).
currency(chile, chileanpeso).
currency(colombia, colombianpeso).
currency(equador, dollar).
currency(guiana, guianesedollar).
currency(paraguay, guarani).
currency(peru, sol).
currency(suriname, surinamesedollar).
currency(uruguay, uruguayanpeso).
currency(venezuela, bolivar).
% independence yars
independence(argentina, 1816).
independence(brazil, 1822).
independence(bolivia, 1825).
independence(chile, 1818).
independence(colombia, 1810).
independence(equador, 1822).
independence(guiana, 1966).
independence(paraguay, 1811).
independence(peru, 1821).
independence(suriname, 1975).
independence(uruguay, 1825).
independence(venezuela, 1811).
% colonizers
colonizer(argentina, spain).
colonizer(brazil, spain).
colonizer(brazil, portugal).
colonizer(brazil, france).
colonizer(bolivia, spain).
colonizer(chile, spain).
colonizer(colombiam, spain).
colonizer(equador, spain).
colonizer(guiana, unitedkingdom).
colonizer(paraguay, spain).
colonizer(peru, spain).
colonizer(suriname, netherlands).
colonizer(uruguay, spain).
colonizer(venezuela, spain).
% Rules %
% country has more than one capital
multiple_capitals(Country) :- country(Country), capital(Country, Y1), capital(Country, Y2), Y1 \= Y2.
% country is landlocked
is_landlocked(Country) :- country(Country), not(ocean(Country, _)).
% shared borders
share_borders(C1, C2) :- country(C1), country(C2), (neighbors(C1, C2); neighbors(C2, C1)), C1 \= C2.
% speak the same language
same_language(C1, C2) :- country(C1), country(C2), speaks(C1, Language), speaks(C2, Language), C1 \= C2.
% have the same colonizer
same_colonizer(C1, C2) :- country(C1), country(C2), colonizer(C1, Colonizer), colonizer(C2, Colonizer), C1 \= C2.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment