1
2
3
4
5
6
7
8
9
program :- %married block
married(janne,viktor).
married(ulve,aksel).
married(elvi,johannes).
 
%mother block
mother(diana,janne).
mother(janne,ulve).
mother(peeter,ulve).
 ...

1
2
3
4
5
6
7
8
9
program :- %married block
married(janne,viktor).
married(ulve,aksel).
married(elvi,johannes).
 
%mother block
mother(diana,janne).
mother(janne,ulve).
mother(peeter,ulve).
 ...

1
2
3
4
5
6
7
8
9
program :- %married block
married(janne,viktor).
married(ulve,aksel).
married(elvi,johannes).
 
%mother block
mother(diana,janne).
mother(janne,ulve).
mother(peeter,ulve).
 ...

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
write('Tere'), nl.

1
2
3
4
5
6
7
8
9
%married block
married(janne,viktor).
married(ulve,aksel).
married(elvi,johannes).
 
%mother block
mother(diana,janne).
mother(janne,ulve).
mother(peeter,ulve).
 ...

1
2
3
4
5
6
7
8
9
%married block
married(janne,viktor).
married(ulve,aksel).
married(elvi,johannes).
 
%mother block
mother(diana,janne).
mother(janne,ulve).
mother(peeter,ulve).
 ...

1
2
3
4
5
6
7
8
9
%married block
married(janne,viktor).
married(ulve,aksel).
married(elvi,johannes).
 
%mother block
mother(diana,janne).
mother(janne,ulve).
mother(peeter,ulve).
 ...

1
?- true.

1
?- true, fail.

1
?- true, fail; not true, not fail; true, not fail.

1
2
3
4
5
6
7
8
9
born(charles, elizabeth2, philip).
born(anne,    elizabeth2, philip).
born(andrew,  elizabeth2, philip).
born(edward,  elizabeth2, philip).
 
born(diana,   frances,    edwardSpencer).
 
born(william, diana,      charles).
born(henry,   diana,      charles).
 ...

1
2
3
4
5
6
7
8
9
born(charles, elizabeth2, philip).
born(anne,    elizabeth2, philip).
born(andrew,  elizabeth2, philip).
born(edward,  elizabeth2, philip).
 
born(diana,   frances,    edwardSpencer).
 
born(william, diana,      charles).
born(henry,   diana,      charles).
 ...

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'). 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
?- check('4','2').

1
2
3
4
5
6
7
8
female(mary).
loves(jane, wine).
loves(john, X):- loves(X, wine).
loves(john, X):- female(X).
loves(john, wine).
loves(mary, wine).
? female(mary).
 

1
2
3
4
5
6
7
8
female(mary).
loves(jane, wine).
loves(john, X):- loves(X, wine).
loves(john, X):- female(X).
loves(john, wine).
loves(mary, wine).
:- female(mary).
 

1
2
3
4
program :- get_char(X),get_char(Y),check(X,Y). 
check('4','2'):-!. 
check(X,Y):-write(X),get_char(Z),check(Y,Z).
:- program.

1
2
3
4
5
6
7
8
female(mary).
loves(jane, wine).
loves(john, X):- loves(X, wine).
loves(john, X):- female(X).
loves(john, wine).
loves(mary, wine).
?- female(mary).
 

1
2
3
4
5
6
7
8
female(mary).
loves(jane, wine).
loves(john, X):- loves(X, wine).
loves(john, X):- female(X).
loves(john, wine).
loves(mary, wine).
?- female(mary)
 

1
2
3
4
5
6
7
female(mary).
loves(jane, wine).
loves(john, X) : – loves(X, wine).
loves(john, X) : – female(X).
loves(john, wine).
loves(mary, wine).
 

1
2
3
4
5
6
7
female(mary).
loves(jane, wine).
loves(john, X):- loves(X, wine).
loves(john, X):- female(X).
loves(john, wine).
loves(mary, wine).
?- loves(john, wine).

1
2
3
4
5
6
7
female(mary).
loves(jane, wine).
loves(john, X) :- loves(X, wine).
loves(john, X) :- female(X).
loves(john, wine).
loves(mary, wine).
?- loves(john, wine).

1
2
3
4
5
6
7
female(mary).
loves(jane, wine).
loves(john, X) :- loves(X, wine).
loves(john, X) :- female(X).
loves(john, wine).
loves(mary, wine).
?- loves(john, mary).

1
2
3
4
5
6
7
female(mary).
loves(jane, wine).
loves(john, X) :- loves(X, wine).
loves(john, X) :- female(X).
loves(john, wine).
loves(mary, wine).
?- loves(john, X).

1
2
3
4
5
6
7
female(mary).
loves(jane, wine).
loves(john, X):- loves(X, wine).
loves(john, X):- female(X).
loves(john, wine).
loves(mary, wine).
?-loves(john, X).

1
2
3
4
5
6
7
female(mary).
loves(jane, wine).
loves(john, X):- loves(X, wine).
loves(john, X):- female(X).
loves(john, wine).
loves(mary, wine).
?- loves(john, X).

1
2
3
4
5
6
7
female(mary).
loves(jane, wine).
loves(john, X) : – loves(X, wine).
loves(john, X) : – female(X).
loves(john, wine).
loves(mary, wine).
?– loves(john, X).

1
2
3
vs([],[],[K|M]).
vs([X|L1],[Y|L2],[R|S]):- R is X + Y, vs(L1, L2, S).
?- vs([2, 5, 3], [1, 2, 3], [Q|W]).

1
2
3
vs([],[],[K|M]).
vs([X|L1],[Y|L2],[R|S]):- R is X + Y, vs(L1, L2, S).
?- vs([2, 5, 3], [1, 2, 3], L).

1
2
3
vs([],[],_).
vs([X|L1],[Y|L2],[R|S]):- R is X + Y, vs(L1, L2, S).
?- vs([2, 5, 3], [1, 2], L).