1
2
3
4
5
6
7
8
9
%%
%% declaraciones
%%
padrede(juan, maria). % juan es padre de maria
padrede(pablo, jua'). % pablo es padre de juan
padrede(pablo, marcela).
padrede(carlos, debora).
 
% A es hijo de B si B es padre de A
 ...

1
2
3
4
5
6
7
8
9
%%
%% declaraciones
%%
padrede('juan', 'maria'). % juan es padre de maria
padrede('pablo', 'juan'). % pablo es padre de juan
padrede('pablo', 'marcela').
padrede('carlos', 'debora').
 
% A es hijo de B si B es padre de A
 ...

1
2
3
4
5
6
7
8
9
CLAUSES
 
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).
father(a, b).
father(b, c).
 
ancestor(X, Y, Z):- father(X,Y), father(Y, Z).
 
 ...

1
2
3
4
5
6
7
8
9
CLAUSES
 
father(a, b).
father(b, c).
 
ancestor(X, Y, Z):- father(X,Y), father(Y, Z).
 
GOAL
 

1
2
3
4
5
6
7
8
9
PREDICATES
 
father(string,string).
 
ancestor(string,string,string).
 
CLAUSES
 
father(a, b).
 ...

1
2
3
4
5
6
7
8
9
PREDICATES
 
father(string,string)
 
ancestor(string,string,string)
 
CLAUSES
 
father(a, b).
 ...

1
2
3
4
5
6
7
8
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).
 
ancestor( X, Y) :-
    father( X,Y).
    
ancestor( X, Y) :-
    father( X, Z), ancestor(Z, Y).

1
2
3
4
5
6
7
8
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).
 
ancestor( X, Y) :-
    father( X,Y).
    
ancestor( X, Y) :-
    father( X, Z), ancestor(Z, Y).

1
2
3
4
5
6
7
8
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).
 
ancestor( X, Y) :-
    father( X,Y).
    
ancestor( X, Y) :-
    father( X, Z), ancestor(Z, Y).

1
2
3
4
5
6
7
8
9
domains
   list = real*
 predicates
   r_to_c(list,list).
   mult(real,list,list).
   add(list,list,list).
clauses
  r_to_c([X],[1,Y]):- Y=-X.
  r_to_c([H|T],L):- r_to_c(T,L1), K=-H, 
 ...

1
2
3
4
5
6
7
8
9
PREDICATES
 
слева(string,string)
 
ряд(string,string,string)
 
CLAUSES
 
/* Миша сидел слева от Юры */
 ...

1
2
3
4
5
6
7
8
9
domains
   list = real*
 predicates
   r_to_c(list,list)
   mult(real,list,list)
   add(list,list,list)
clauses
  r_to_c([X],[1,Y]):- Y=-X.
  r_to_c([H|T],L):- r_to_c(T,L1), K=-H, 
 ...

1
2
3
4
5
6
7
8
PREDICATES
 
слева(string,string)
справа(string,string)
раньше(string,string)
ряд(string,string,string,string,string)
 
CLAUSES
 ...

1
2
3
party.
 
?- party.

1
?- write('Hello world!'), nl.

1
2
3
del(i,il,il).
del(1,_,[]):-!.
?- del(5,[4,11,-5,8,2,3,9,-5,2,10],L),write(L).

1
2
3
del(i,il,il).
del(1,_,[]):-!.
 

1
2
3
del(i,il,il).
del(1,_,[]):-!.
del(Num,[X|T],[X|T1]):- Num > 0, N1 is int(N+1), del(N,T,T1).

1
2
3
4
del(i,il,il).
del(1,_,[]):-!.
del(Num,[X|T],[X|T1]):- Num > 0, N1 is int(N+1), del(N,T,T1).
?- del(5,[4,11,-5,8,2,3,9,-5,2,10],L),write(L).

1
2
3
4
5
6
7
8
9
domains
i=integer
il=i*
predicates
del(i,il,il)
clauses
del(1,_,[]):-!.
del(Num,[X|T],[X|T1]):-N=Num-1,del(N,T,T1).
goal

1
2
3
4
5
6
7
8
9
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).
 
ancestor( X, Y) :-
    father( X,Y).
    
ancestor( X, Y) :-
    father( X, Z), ancestor(Z, Y).
    
 ...

1
2
3
4
5
6
7
8
9
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).
 
ancestor( X, Y) :-
    father( X,Y).
    
ancestor( X, Y) :-
    father( X, Z), ancestor(Z, Y).
    
 ...

1
2
3
4
5
6
7
8
9
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).
 
ancestor( X, Y) :-
    father( X,Y).
    
ancestor( X, Y) :-
    father( X, Z), ancestor(Z, Y).
    
 ...

1
2
3
4
5
6
7
8
9
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).
 
ancestor( X, Y) :-
    father( X,Y).
    
ancestor( X, Y) :-
    father( X, Z), ancestor(Z, Y).
    
 ...

1
2
3
4
5
6
7
8
9
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).
 
ancestor( X, Y) :-
    father( X,Y).
    
ancestor( X, Y) :-
    father( X, Z), ancestor(Z, Y).
    
 ...

1
2
3
4
5
6
7
8
9
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).
 
ancestor( X, Y) :-
    father( X,Y).
    
ancestor( X, Y) :-
    father( X, Z), ancestor(Z, Y).
    
 ...

1
2
3
4
5
6
7
8
9
father(zeb, john_boy_sr)
father(john_boy_sr, john_boy_jr)
 
ancestor( X, Y) :-
    father( X,Y).
    
ancestor( X, Y) :-
    father( X, Z), ancestor(Z, Y).
    

1
2
3
4
mylast(x,L|T) :- mylast(x,T).
mylast(x,L|[]) :- x=L.
 
mylast(3, [1,2,3]).

1
2
3
4
5
?- write('Hello world!'), nl.
Hello world!
true.
 
?-

1
write('Hello').