cv2.prolog

9.
1 ?- depends(icewm, Package).
2 ?- depends(icewm, Package), package(Package, _, Section).
4 ?- provides(Package, editor).
10.
5 ?- depends(Package, base_passwd), package(Package, optional, _).
8 ?- provides(Package, www_browser), package(Package, _, editors).
6 ?- conflicts(Package, ConflictingPackage), package(ConflictingPackage, optional, _), depends(ConflictingPackage, perl).
11.
webtool(Package) :- package(Package, _, web).
neslucitelne(X, Y) :- conflicts(X, Y), conflicts(Y, X).
nutne(Package) :- package(Package, required, _).
nutne(Package) :- package(Package, important, ).

cv2
natural(0).
natural(s(X)) :- natural(X).
add(X, 0, X).
add(X, s(Y), s(Z)) :- add(X, Y, Z).

2.
%scitani
16 ?- add(s(0), s(s(0)), X).

%odcitani
17 ?- add(s(0), X, s(s(s(0)))).

%rozdeleni na scitance
18 ?- add(X, Y, s(s(s(0)))).
X = s(s(s(0))),
Y = 0 ;
X = s(s(0)),
Y = s(0) ;
X = s(0),
Y = s(s(0)) ;
X = 0,
Y = s(s(s(0))) ;
false.

natural(0).
natural(s(X)) :- natural(X).
add(X, 0, X).
add(X, s(Y), s(Z)) :- add(X, Y, Z).
even(0).
even(s(s(X))) :- even(X). 
odd(s(0)).
odd(s(s(X))) :- odd(X).
leq(X, X).
leq(X, s(X)) :- leq(X, X).
mul(_, 0, 0).
mul(0, _, 0).
mul(X, s(0), X).
mul(s(0), X, X).
mul(X, s(Y), Z) :- mul(X, Y, Q), add(X, Q, Z).

dodelat cv2 5, 9, 10, 11.