====== 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''