region_3t(papua).
region_3t(maluku).
region_3t(ntt).

needs(papua, fiber_optic).
needs(maluku, bts_4g).
needs(ntt, satellite).

provides(bakti_kominfo, fiber_optic).
provides(telkomsel, bts_4g).
provides(starlink, satellite).

supported_by(X, Z) :-
    region_3t(X),
    needs(X, Y),
    provides(Z, Y).