soucet (A,B,C) :- C is A+B.
soucin (A,B,C) :- C is A*B.

Napište predikát, který otestuje, zda je zadané číslo sudé:

sude_cislo(X) :-  soucin(2,Y,X). 

nefunguje, nevi se, co to je Y

cislo(X):-X=0.
cislo(Y):-cislo(X),Y is X+1.

soucet(A,B,C) :- C is A + B.
soucin(A,B,C) :- C is A * B.
sude_cislo(X) :- cislo(Y), soucin(2,Y,X). 

Napiste predikat, ktery najde vsechny mozne strany pravouhleho trojuhelnika 
s delkami hran mensimi nez 100

1.reseni
trojuhelnik (X,Y,Z):- cislo(X), cislo(Y), cislo(Z), X<100, Y<100, Z<100, X*X+Y*Y = Z*Z

2.reseni
trojuhelnik(X,Y,Z):- cislo(X), cislo(Y), cislo(Z), X<100, Y<100, Z<100, 
        XX is X*X, YY is Y*Y, ZZ is Z*Z, XXYY is  XX+YY, XXYY=ZZ .

spravne reseni
cislo100(X):-
X=1;X=2;X=3;X=4;X=5;X=6;X=7;X=8;X=9;X=10;X=11;X=12;X=13;X=14;X=15;X=16;X=17;X=18;X=19;
X=20;X=21;X=22;X=23;X=24;X=25;X=26;X=27;X=28;X=29;X=30;X=31;X=32;X=33;X=34;X=35;X=36;X=37;X=38;X=39;
X=40;X=41;X=42;X=43;X=44;X=45;X=46;X=47;X=48;X=49;X=50;X=51;X=52;X=53;X=54;X=55;X=56;X=57;X=58;X=59;
X=60;X=61;X=62;X=63;X=64;X=65;X=66;X=67;X=68;X=69;X=70;X=71;X=72;X=73;X=74;X=75;X=76;X=77;X=78;X=79;
X=80;X=81;X=82;X=83;X=84;X=85;X=86;X=87;X=88;X=89;X=90;X=91;X=92;X=93;X=94;X=95;X=96;X=97;X=98;X=99.
 
trojuhelnik(X,Y,Z):- cislo100(X), cislo100(Y), cislo100(Z), 
        XX is X*X, YY is Y*Y, ZZ is Z*Z, XXYY is  XX+YY, XXYY=ZZ .

vypis:-trojuhelnik(X,Y,Z),write(X),write(,), write(Y), write(,), write(Z),nl,fail.



Zaměňte písmena za čísla, aby platilo:
A * B * C =6
+   -   +
D + E + F =6
+   +   -
G + H + I =6
=4  =4  =4
Použijte čísla <=3.





cis(0).
cis(1).
cis(2).
cis(3).
ohodnot(A,B,C,D,E,F,G,H,I) :-
cis(A), cis(B), cis(C), cis(D),
cis(E), cis(F), cis(G), cis(H), cis(I),
6 is A * B * C,
4 is A + D + G,
6 is D + E + F,
6 is G + H + I,
4 is C+F-I,
4 is B-E+H.
?- ohodnot(A,B,C,D,E,F,G,H,I).


Vyreste albegrobram
SEND
+
MORE
=
MONEY