Exerciții

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

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

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

Exerciții de unificare medium Word puzzle — FLOWERS crossword advanced path/2 — drum pe un graf orientat medium

divisorsPairs/3 — toate perechile divizor medium oddIndexes/2 — elementele de pe poziții impare medium breadthfirst/2, solve/2 — BFS pe graf advanced Zebra puzzle — cine deține zebra? advanced Arbori binari — parcurgeri intro