% Fakta: Wilayah 3T
region_3t(papua).
region_3t(maluku).
region_3t(ntt).

% Fakta: Kebutuhan infrastruktur wilayah
needs(papua, fiber_optic).
needs(maluku, bts_4g).
needs(ntt, satellite).

% Fakta: Penyedia infrastruktur
provides(bakti_kominfo, fiber_optic).
provides(telkomsel, bts_4g).
provides(starlink, satellite).

% Aturan: Wilayah X didukung oleh penyedia Z jika X adalah 3T, butuh infrastruktur Y, dan Z menyediakan Y
supported_by(X, Z) :-
    region_3t(X),
    needs(X, Y),
    provides(Z, Y).