MDTiAR - Procedury działające na listach

 0    16 词汇卡    milenakucio
下载mp3 打印 检查自己
 
问题 język polski 答案 język polski
is_list (L)
开始学习
sprawdza, czy L jest listą
append (L1, L2, L3)
开始学习
łączy listy L1 i L2 w listę L3
member (E, L)
开始学习
sprawdza, czy element E należy do listy L
memberchk (E, L)
开始学习
rónoważny predykatowi member, ale podaje tylko jedno rozwiązanie
nextto (X, Y, L)
开始学习
predykat spełniony, gdy Y występuje bezpośrednio op X
delete (L1, E, L2)
开始学习
z listy L1 usuwa wszystkie wystąpienia elementu E, wynik uzgadnia z listą L2
select (E, L, R)
开始学习
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
nth0 (I, L, E)
开始学习
predykat spełniony, jeśli element listy L o numerze I daje się uzgodnić z elementem E
nth1 (I, L, E)
开始学习
predykat podobny do nth0
last (L, E)
开始学习
ostatni element listy L
reverse (L1, L2)
开始学习
odwraca porządek elementów listy L1 i unifikuje rezultat z listą L2
permutation (L1, L2)
开始学习
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
flatten (L1, L2)
开始学习
przekształca listę L1 w listę L2, w której każda lista składowa zostaje zastąpiona przez swoje elementy
sumlist (L, S)
开始学习
suma listy liczbowej L
numlist (M, N, L)
开始学习
jest M, N są liczbami całkowitymi takimi, że M<N, to L zostanie zunifikowana z listą [M, M+1,..., N]
lenght (L, I)
开始学习
liczba elementów listy L

您必须登录才能发表评论。