====== Tipi ======

  - Predikati za preverjanje tipa objekta ''X''
    * ''var(X)''
    * ''nonvar(X)''
      * ''compound(X)''
      * ''atomic(X)''
        * ''atom(X)''
        * ''number(X)''
          * ''integer(X)''
          * ''float(X)''
  - Naloge
    * ''getdigits(List, ListOfDigits)''
      * iz seznama ''List'' izloči vse elemente, ki niso števila
    * ''joindigits(List, ListOfNumbers)''
      * združi enega ali več sosednjih števil v seznamu v eno število
      * generira vse različne možnosti
        * ''[3,2,4]'' → ''[324]'', ''[32,4]'', ''[3,24]'', ''[3,2,4]''
    * ''firstMinus(L, L)''
      * prvi element v enačbi je lahko negativen ali ne
      * ''firstMinus'' vrača obe možnosti
    * ''genexp(List, Expression)''
      * iz seznama števil zgenerira poljubne izraze z vstavljanjem operacij
    * ''checkLicensePlate(LP, E1, E2)''
      * preveri registracijo (uporabi vse zgoraj napisane rutine)
      * vhod: seznam, ki predstavlja registracijo, npr.: ''[l,j,k,3,-,2,4,2]''
      * vrača vse ustrezne kombinacije izrazov