término                    | 
                
                    definición                    | 
            
        
        | 
     empezar lección
 | 
 | 
      sprawdza, czy L jest listą   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      łączy listy L1 i L2 w listę L3   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      sprawdza, czy element E należy do listy L   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      rónoważny predykatowi member, ale podaje tylko jedno rozwiązanie   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      predykat spełniony, gdy Y występuje bezpośrednio op X   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      z listy L1 usuwa wszystkie wystąpienia elementu E, wynik uzgadnia z listą L2   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      z listy L wybiera element, który daje się uzgodnić z E. Lista R jest uzgadniana z listą, która powstaje z L po usunięciu wybranego elementu   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      predykat spełniony, jeśli element listy L o numerze I daje się uzgodnić z elementem E   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
    
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
    
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      odwraca porządek elementów listy L1 i unifikuje rezultat z listą L2   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      lista L1 jest permutacją (liczba sposobów, na które n ≥1 różnych elementów można ustawić w ciąg, jest równa n!) listy L2   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      przekształca listę L1 w listę L2, w której każda lista składowa zostaje zastąpiona przez swoje elementy   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
    
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
      jest M, N są liczbami całkowitymi takimi, że M<N, to L zostanie zunifikowana z listą [M, M+1,..., N]   
 | 
 | 
 | 
| 
     empezar lección
 | 
 | 
    
 | 
 | 
 |