1
2
3
4
5
6
7
8
% Author:
% Date: 1/17/2012
word([m,a,n]).
word([w,o,m,a,n]).
word([h,e,l,l,o]).
 
 
correct(A,B):-word(X),oneletter(X,A,B).
 ...

1
2
3
4
5
6
7
8
% Author:
% Date: 1/17/2012
word([m,a,n]).
word([w,o,m,a,n]).
word([h,e,l,l,o]).
 
 
correct(A,B):-word(X),oneletter(X,A,B).
 ...

1
2
3
4
5
6
7
8
% Author:
% Date: 1/17/2012
word([m,a,n]).
word([w,o,m,a,n]).
word([h,e,l,l,o]).
 
 
correct(A,B):-word(X),oneletter(X,A,B).
 ...

1
2
3
4
5
6
7
8
% Author:
% Date: 1/17/2012
word([m,a,n]).
word([w,o,m,a,n]).
word([h,e,l,l,o]).
 
 
correct(A,B):-word(X),oneletter(X,A,B).
 ...

1
2
3
4
5
6
7
8
% Author:
% Date: 1/17/2012
word([m,a,n]).
word([w,o,m,a,n]).
word([h,e,l,l,o]).
 
 
correct(A,B):-word(X),oneletter(X,A,B).
 ...

1
 

1
2
3
4
5
6
7
attractiveFor(X,Y) :- child(Y), toy(X), playMusic(X).
child(an).
child(jan).
toy(teddy).
toy(pianoGame).
playMusic(pianoGame).
playMusic(teddy).

1
2
3
4
5
6
7
attractiveFor(X,Y) :- child(Y), toy(X), playMusic(X).
child(an).
child(jan).
toy(teddy).
toy(pianoGame).
playMusic(pianoGame).
playMusic(teddy).

1
2
3
mortal(X) :- human(X).
human(jan).
human(an).

1
2
3
mortal(X) :- human(X).
human(jan).
human(an).

1
2
3
mortal(X) :- human(X).
human(jan).
human(an).

1
2
mortal(X) :- human(X).
mortal(X).

1
2
3
mortal(X) :- human(X).
human(jan).
human(an).

1
mortal(X).

1
mortal(X).

1
2
3
4
5
6
7
8
9
gt(A, B):- A > B.
 
filter(_,[],[]).
 
filter(F,[H|L],R):-
filter(F,L,Rn),
(call(F,H), R=[H|Rn]; R=Rn).
 
?-filter(gt(10), [1,2,23,34,4,45],R), write(R).

1
2
3
4
5
6
7
8
9
big(A):- A > 10.
 
filter(_,[],[]).
 
filter(F,[H|L],R):-
filter(F,L,Rn),
(call(F,H), R=[H|Rn]; R=Rn).
 
?-filter(big, [1,2,23,34,4,45],R), write(R).

1
2
3
even(A,R):- R = A // 2.% =:= 0.
 
?-even(4,R), write(R).

1
2
3
even(A,R):- R = A // 2.% =:= 0.
 
?-even(4,R).

1
2
3
even(A):- A // 2 =:= 0.
 
?-even(4).

1
2
3
even(A):- A // 2 =:= 0.
 
?-even(3).

1
2
3
even(A):- A % 2 =:= 0.
 
?-even(3).

1
?-even(4).

1
2
3
eats(bear,honey).
eats(bear,salmon).
eats(rat,salmon).

1
2
3
eats(bear,honey).
eats(bear,salmon).
eats(rat,salmon).

1
2
p(a).
p(b).

1
2
p(a).
p(b).

1
2
3
4
5
podzial([],[],[]).
podzial([H1|T1],X,[H2|T2]):- podzial(T1,T2,X).
 
:-podzial([1,2,3,4], Z, X), writeln(Z), writeln(X).
%:-podzial([1,2,3,4,5,6,7,8,10]).

1
2
3
4
5
6
podziel([],[],[]).
podziel([A|B],E,O) :- A rem 2 =/= 0, podziel[B,[A|E],O);
podziel([A|B],E,O) :- A rem 2 =:= 0, podziel(B,E,[A|O]).
 
:- podziel([1,2,3,4,5,6,3,1,4,6],P,N), writeln(P), writeln(N).
 

1
2
3
4
5
6
podziel([],[],[]).
podziel([A|B],E,O) :- A rem2 =/= 0, podziel[B,[A|E],O);
podziel([A|B],E,O) :- A rem 2 =:= 0, podziel(B,E,[A|O]).
 
:- podziel([1,2,3,4,5,6,3,1,4,6],P,N), writeln(P), writeln(N).