fork download
  1. region_3t(papua).
  2. region_3t(maluku).
  3. region_3t(ntt).
  4.  
  5. needs(papua, fiber_optic).
  6. needs(maluku, bts_4g).
  7. needs(ntt, satellite).
  8.  
  9. provides(bakti_kominfo, fiber_optic).
  10. provides(telkomsel, bts_4g).
  11. provides(starlink, satellite).
  12.  
  13. supported_by(X, Z) :-
  14. region_3t(X),
  15. needs(X, Y),
  16. provides(Z, Y).
Success #stdin #stdout #stderr 0.04s 6948KB
stdin
Standard input is empty
stdout
Standard output is empty
stderr
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit