IA Tema 1

1. (0.1p) S se scrie un predicat Prolog care determin dac un numr este prim. Predicatul
trebuie s nu permit resatisfacerea dup obinerea rspunsului (folosii cut).
% prim(+N).
?- prim(7).
true
?- prim(8).
false

2. (0.1p) S se scrie un predicat Prolog care la fiecare resatisfacere asociaz variabila primit ca
argument cu urmtorul numr prim.
% prime(-N).
?- prime(N).
N = 2 ;
N = 3 ;
N = 5 ;
...

3. (0.1p) S se scrie un predicat Prolog care afieaz descompunerea n factori primi a numrului
primit ca argument. Factorii primi sunt sortai cresctor, iar puterea se afieaz doar dac este
mai mare dect 1.
% factori (+N).
?- factori(7).
7 = 7
true
?- factori(10).
10 = 2 * 5
true
?- factori(12).
12 = 2^2 * 3
true
?- factori(36).
48 = 2^2 * 3^3
true

4. (0.1p) S se scrie un predicat Prolog care determin toate posibilitile de a scrie un numr ca
sum de 2 numere prime. Se caut soluii n care primul termen e mai mic sau egal cu al doilea.
Soluiile sunt sortate cresctor dup primul termen.
% sumap(+N).
?- sumap(10).
10 = 3 + 7 = 5 + 5
true
?- sumap(11).
11 nu se poate scrie ca suma de 2 numere prime
true

5. (0.1p) S se scrie un predicat Prolog pentru determinarea tuturor posibilitilor de a scrie un

numr natural ca sum de ptrate perfecte distincte. Termenii unei astfel de descompuneri vor
fi sortai descresctor. Descompunerile vor fi afiate n ordine descresctoare.
% patrate(+N).
?- patrate(77).
77 = 8^2 + 3^2 + 2^2
= 6^2 + 5^2 + 4^2
true
?- patrate(49).
77
= 7^2
= 6^2 + 3^2 + 2^2
true
?- patrate(91).
91 nu se poate scrie ca suma de patrate disctincte
true

Total: 0.5p
Tema se va uploada pe site pn joi 5 noiembrie la ora 8:00, sub forma unui singur fiier Prolog cu
numele Grupa_NumePrenume_tema1.pl. Exemplu: 341C4_PopescuVasile_tema1.pl
Temele se prezint la laboratoarele de joi 5 noiembrie ora 10:00, respectiv vineri 6 noiembrie ora
12:00. Temele neprezentate nu se puncteaz. Nu se accept ntrzieri.
Se va depuncta nerespectarea formatului de afiare sau a altor restricii specificate explicit n enun.