1
2
3
4
5
marisa.
canwalk(marisa).
havecup(marisa).
caninsidelake(X) :- canwalk(X).
candrinkwater(X) :- caninsidelake(X) , havecup(X).

1
2
3
4
5
marisa.
canwalk(marisa).
havecup(marisa).
caninsidelake(X) :- canwalk(X).
candrinkwater(X) := caninsidelake(X) , havecup(X).

1
2
3
4
5
marisa.
canwalk(marisa).
havecup(marisa).
caninsidelake(X) :- canwalk(X).
candrinkwater(X) := caninsidelake(X) , havecup(X).

1
2
3
4
5
marisa.
canWalk(marisa).
haveCup(marisa).
canInsideLake(X) :- canWalk(X).
canDrinkWater(X) := canInsideLake(X) , haveCup(X).

1
2
3
4
5
marisa.
CanWalk(marisa).
HaveCup(marisa).
CanInsideLake(X) :- CanWalk(X).
CanDrinkWater(X) := CanInsideLake(X) , HaveCup(X).

1
2
3
4
5
alice.
marisa.
friend( alice , marisa ).
love( alice , marisa ).
yuri(X,Y) :- friend(X,Y),love(X,Y).

1
2
3
4
5
alice.
marisa.
friend( alice , marisa ).
love( alice , marisa ).
yuri(X,Y) :- friend(X,Y),love(X,Y).

1
2
3
4
5
alice.
marisa.
friend( alice , marisa ).
love( alice , marisa ).
yuri(X,Y) :- friend(X,Y),love(X,Y).

1
2
3
4
5
alice.
marisa.
friend( alice , marisa ).
love( alice , marisa ).
yuri(X,Y) :- friend(X,Y),love(X,Y).

1
2
3
4
predicates
        write(X).
goals
        write(X):-X=1

1
2
human(ソクラテス).
die(X):-human(X).

1
2
3
4
5
6
7
8
9
predicates 
  nondeterm likes(symbol, symbol) 
  nondeterm fruit(symbol) 
  nondeterm color(symbol, symbol) 
   
clauses 
  % что любит Мери 
  likes(mary, pears). 
  likes(mary, popcorn). 
 ...

1
2
3
4
5
6
7
8
9
ver(X,X):-atomic(X).
ver(X+0,X).
ver(0+X,X).
ver(X*0,0).
ver(0*X,0).
ver(X*1,X).
ver(1*X,X).
ver(X+Y,Z):-ver(X,X1),ver(Y,Y1),Z=X+Y.
ver(X*Y,Z):-ver(X,X1),ver(Y,Y1),Z=X*Y.

1
2
3
4
5
6
7
8
9
ver(X,X):-atomic(X).
ver(X+0,X).
ver(0+X,X).
ver(X*0,0).
ver(0*X,0).
ver(X*1,X).
ver(1*X,X).
ver(X+Y,Z):-ver(X,X1),ver(Y,Y1),Z=X+Y.
ver(X*Y,Z):-ver(X,X1),ver(Y,Y1),Z=X*Y.

1
2
3
4
5
6
7
8
9
ver(X,X):-atomic(X).
ver(X+0,X).
ver(0+X,X).
ver(X*0,0).
ver(0*X,0).
ver(X*1,X).
ver(1*X,X).
ver(X+Y,Z):-ver(X,X1),ver(Y,Y1),Z=X+Y.
ver(X*Y,Z):-ver(X,X1),ver(Y,Y1),Z=X*Y.

1
2
3
4
5
6
7
8
9
ver(X,X):-atomic(X).
ver(X+0,X).
ver(0+X,X).
ver(X*0,0).
ver(0*X,0).
ver(X*1,X).
ver(1*X,X).
ver(X+Y,Z):-ver(X,X1),ver(Y,Y1),Z=X+Y.
ver(X*Y,Z):-ver(X,X1),ver(Y,Y1),Z=X*Y.

1
 

1
2
cat(tom).
animal(X):-cat(X).

1
2
3
cat(tom).
animal(X):-cat(X).
animal(tom).

1
2
3
cat(tom).
animal(X):-cat(X).
animal(tom)?

1
2
ver(X+0,X).
ver(a+0).

1
2
3
4
5
6
7
8
9
?-son(petr, ivan).
 
father(ivan,petr).
father(ivan,sergey).
father(petr,olga).
father(petr,tanja).
father(sergey,inga).
father(sergey,pavel).
father(sergey,igor).
 ...

1
2
3
4
5
6
7
8
9
?-uncle(sergey,semen).
 
father(ivan,petr).
father(ivan,sergey).
father(petr,olga).
father(petr,tanja).
father(sergey,inga).
father(sergey,pavel).
father(sergey,igor).
 ...

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
9
                        
                                 
                          
                         
                 
             
                           
                          
                                 
 ...

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
Henik(24),

1
2
duplique([A|In],Out) :- duplique(In,[A|A|Out]).
duplique([_|Resto],Out) :- duplique(Resto,Out).

1
2
duplique(A|In,Out) :- duplique(In,A|A|Out).
duplique(_|Resto,Out) :- duplique(Resto,Out).

1
2
duplique(A|_,Out) :- duplique(A|In,A|A|Out).
duplique(_|Resto,Out) :- duplique(Resto,Out).