CLP(R)

  1. V SWI-Prolog je potrebno naložiti knjižnico z use_module(library(clpr))
    • v CodeQ je knjižnica že naložena
  2. Omejitve pišemo med { }
    • { X < Y }, { X =< Y }, { X > Y }, { X >= Y }, { X =:= Y }, { X =\= Y }
  3. Izrazi
    • X + Y, X - Y, X * Y, X / Y, X ^ Y
    • Y * (Z - 2*X)
  4. Linearna optimizacija
    • minimize(Expr) instancira spremenljivke v linearnem izrazu Expr tako, da ima Expr najmanjšo vrednost, ki ustreza omejitvam
      • ?- { X >= 2, Y >= 4 }, minimize(X+2*Y).
      • minimum ne obstaja zmeraj
        • ?- { X =< 2 }, minimize(X).
        • ?- { X > 2 }, minimize(X).
    • inf(Expr, Inf) vrne največjo spodnjo mejo za izraz Expr
      • spremenljivke v Expr ne postanejo instancirane (lahko pa so bile prej)
    • maximize(Expr), sup(Expr, Sup)
  5. Naloge
    • megabytes/2
    • linear_opt/3
    • max_adj_pair/2
    • turkey/3
    • bounding_box/3
    • center/3