Frage |
Antworten |
Lernen beginnen
|
|
sprawdza, czy L jest listą
|
|
|
Lernen beginnen
|
|
łączy listy L1 i L2 w listę L3
|
|
|
Lernen beginnen
|
|
sprawdza, czy element E należy do listy L
|
|
|
Lernen beginnen
|
|
rónoważny predykatowi member, ale podaje tylko jedno rozwiązanie
|
|
|
Lernen beginnen
|
|
predykat spełniony, gdy Y występuje bezpośrednio op X
|
|
|
Lernen beginnen
|
|
z listy L1 usuwa wszystkie wystąpienia elementu E, wynik uzgadnia z listą L2
|
|
|
Lernen beginnen
|
|
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
|
|
|
Lernen beginnen
|
|
predykat spełniony, jeśli element listy L o numerze I daje się uzgodnić z elementem E
|
|
|
Lernen beginnen
|
|
|
|
|
Lernen beginnen
|
|
|
|
|
Lernen beginnen
|
|
odwraca porządek elementów listy L1 i unifikuje rezultat z listą L2
|
|
|
Lernen beginnen
|
|
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
|
|
|
Lernen beginnen
|
|
przekształca listę L1 w listę L2, w której każda lista składowa zostaje zastąpiona przez swoje elementy
|
|
|
Lernen beginnen
|
|
|
|
|
Lernen beginnen
|
|
jest M, N są liczbami całkowitymi takimi, że M<N, to L zostanie zunifikowana z listą [M, M+1,..., N]
|
|
|
Lernen beginnen
|
|
|
|
|