fork download
copy 
  1. % Fakta: Wilayah 3T
  2. region_3t(papua).
  3. region_3t(maluku).
  4. region_3t(ntt).
  5.  
  6. % Fakta: Kebutuhan infrastruktur wilayah
  7. needs(papua, fiber_optic).
  8. needs(maluku, bts_4g).
  9. needs(ntt, satellite).
  10.  
  11. % Fakta: Penyedia infrastruktur
  12. provides(bakti_kominfo, fiber_optic).
  13. provides(telkomsel, bts_4g).
  14. provides(starlink, satellite).
  15.  
  16. % Aturan: Wilayah X didukung oleh penyedia Z jika X adalah 3T, butuh infrastruktur Y, dan Z menyediakan Y
  17. supported_by(X, Z) :-
  18.     region_3t(X),
  19.     needs(X, Y),
  20.     provides(Z, Y).
Success #stdin #stdout 0.01s 5272KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
GNU Prolog 1.4.5 (64 bits)
Compiled Feb  5 2017, 10:30:08 with gcc
By Daniel Diaz
Copyright (C) 1999-2016 Daniel Diaz
| ?-
https://ideone.com/Kx2xSs
language:
Prolog (gprolog 1.4.5)
created:
8 days ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!