Exerciții
49 total. Apasă ⌘K să cauți după titlu, sursă sau concept.
Laboratoare 33
Laboratorul 16
Predicate de familie
intro
ancestor_of/2 — strămoș
intro
distance/3 — distanță în plan
intro
write_n/2 — triunghi la STDOUT
intro
min/3 — minimul a două elemente
intro
pythagorean_triple/3 — triunghi dreptunghic în plan
medium
Laboratorul 211
fib/2 — Fibonacci, varianta ineficientă și cu memoizare
medium
concat_lists/3 — concatenare manuală
intro
remove_duplicates/2 — elimină duplicatele
medium
list_length/2 — lungimea unei liste
intro
list_sum/2 — suma elementelor
intro
elements_of/2 — apartenență la listă
intro
all_a/1 și all_symb/2 — listă formată dintr-un singur simbol
intro
trans_a_b/2 — translatează a-uri în b-uri
intro
scalarMult/3 — înmulțire cu scalari
intro
dot/3 — produs scalar
intro
max/2 — elementul maxim
intro
Laboratorul 38
vars/2 — mulțimea variabilelor unei formule
intro
val/3 — valoarea unei variabile într-o evaluare
intro
bnon/2, band/3, bor/3, bimp/3 — operații pe {0, 1}
intro
eval/3 — evaluarea unei formule într-o valuare
medium
evals/3 — evaluare pe o listă de valuări
intro
evs/2 — toate valuările pe o mulțime de variabile
advanced
all_evals/2 — valorile formulei pe toate valuările
medium
taut/1 — test de tautologie
medium
Model parțial 7
Model parțial7
employee_with_good_salary/3
medium
employee_average_salary/2
advanced
sort_employee_average_salary/2
advanced
Dutch Royal Family — parent, ruler, predecessor
intro
minimumPaths/2 — drumuri BFS de lungime minimă
advanced
palindrome/1 — verifică palindrom
intro
Angajați pe departament — 3 interogări findall
medium
Șablon parțial 9
Șablon parțial9
literalForResolution/3 — literal pentru rezoluție
medium
rezolvent/3 — rezolventul a două clauze
advanced
splitListEvenOdd/3 — separă pare și impare
intro
findSublist/3 — prima sublistă contiguă cu sumă dată
advanced
solution/3 — sublistă de pare sau impare cu constrângeri
advanced
wroteBy/2 — cărțile unui autor
medium
publishedMathPhilosophy/1 — editurile de matematică sau filosofie
medium
editionAfterYear/2 — cărți cu ediții după un an
medium
countByCountries/1 — câte cărți publicate pe fiecare țară
advanced