CLP(R)

V SWI-Prolog je potrebno naložiti knjižnico z use_module(library(clpr))
- v CodeQ je knjižnica že naložena
Omejitve pišemo med { }
- { X < Y }, { X =< Y }, { X > Y }, { X >= Y }, { X =:= Y }, { X =\= Y }
Izrazi
- X + Y, X - Y, X * Y, X / Y, X ^ Y
- Y * (Z - 2*X)
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)
Naloge
- megabytes/2
- linear_opt/3
- max_adj_pair/2
- turkey/3
- bounding_box/3
- center/3

A.I.lab