Startseite Erkunden Hilfe
Anmelden
CNI
/
Prlog
2
0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: tp/basics/1
Branches Tags
Prlog
/
td
/
td1
/
asp5_enc.lp

asp5_enc.lp 133 B
Permalink Verlauf Originalformat

123456 
  1. {next_metro(V) : city(V)} = 1.
    2. 

  2. 

  3. #maximize {N @ 1, V : next_metro(V), people(V, N)}.
    4. 

  4. :- next_metro(V), metro(V).
    5. 

  5. 

  6. #show next_metro/1.
    7.