1
print %"racecar" || "racecar"% tnirp

1
(+ 1 2)

1
print %"racecar" || "racecar"% tnirp

1
2
3
4
5
blond(X) :-
father(Father, X),
blond(Father),
mother(Mother, X),
blond(Mother).

1
2
3
finalLista([],_,[]).
finalLista(L, 0, L).
finalLista([Primero|Resto], N, Resultado):- N > 0, A is N - 1, finalLista(Resto, A, Resultado).

1
2
3
finalLista([],_,[]).
finalLista(L, 0, L).
finalLista([Primero|Resto], N, Resultado):- A > 0, finalLista(Resto, A, Resultado), A is N - 1.

1
2
3
finalLista([],_,[]).
finalLista(L, 0, L).
finalLista([Primero|Resto], N, Resultado):- N > 0, finalLista(Resto, A, Resultado), A is N - 1.

1
2
3
finalLista([],_,[]).
finalLista(L, 0, L).
finalLista([Primero|Resto], N, Resultado):- N > 0, A is N - 1, finalLista(Resto, A, Resultado).

1
2
3
finalLista([],_,[]).
finalLista(L, 0, L).
finalLista([Primero|Resto], N, Resultado):- N > 0, A is N - 1, finalLista(Resto, A, Resultado).

1
2
3
tictactoe(Board,W) :- winHorizontal(Board,W).
 
winHorizontal(([X1,X1,X1]|Z), X1).

1
2
3
tictactoe(Board,W) :- winHorizontal(Board,W).
 
winHorizontal([X1,X1,X1]|Z, X1).

1
2
3
tictactoe(Board,W) :- winHorizontal(Board,W).
 
winHorizontal([X1,X1,X1]|Z, W) :- winHorizontal([X1,X1,X1]|Z, X1).

1
  write('Podaj formule: '),

1
2
3
%% Predykat wywoływany przy uruchomieniu – wyświetla informacje i wywołuje interfejs użytkownika:
:-                                      
   nl,write('---------------------------------------------------------------------------'),

1
2
3
4
5
6
7
8
miejsce([wincenty,W,dymitr,D,andrzej,A,borys,B,grzegorz,G]) :-
 
  L0 = [1,2,3,4,5],
 
  G = 3,     /* grzegorz zajal trzecie miejsce */
 
  select(W, L0, L1), W \= 1,
             /* wincenty nie zajal pierwszego miejsca */
 ...

1
2
3
4
5
6
7
8
miejsce([wincenty,W,dymitr,D,andrzej,A,borys,B,grzegorz,G]) :-
 
  L0 = [1,2,3,4,5],
 
  G = 3,     /* grzegorz zajal trzecie miejsce */
 
  select(W, L0, L1), W \= 1,
             /* wincenty nie zajal pierwszego miejsca */
 ...

1
2
3
4
5
6
7
8
miejsce([wincenty,W,dymitr,D,andrzej,A,borys,B,grzegorz,G]) :-
 
  L0 = [1,2,3,4,5],
 
  G = 3,     /* grzegorz zajal trzecie miejsce */
 
  select(W, L0, L1), W \= 1,
             /* wincenty nie zajal pierwszego miejsca */
 ...

1
2
3
4
5
6
7
8
miejsce([wincenty,W,dymitr,D,andrzej,A,borys,B,grzegorz,G]) :-
 
  L0 = [1,2,3,4,5],
 
  G = 3,     /* grzegorz zajal trzecie miejsce */
 
  select(W, L0, L1), W \= 1,
             /* wincenty nie zajal pierwszego miejsca */
 ...

1
2
3
 
man(mouli).
 

1
man(aak).

1
2
Compute([],0).
Compute([Head|Tail],X):-Compute(Tail,Tail_Len),X is Tail_Len+1.

1
2
mortal(X):-man(X).
man(socrates).

1
2
mortal(X):-man(X).
man(socrates).

1
2
mortal(X):-man(X).
man(socrates).

1
2
3
4
5
6
7
8
9
female(lola).
female(bonnie).
female(carol).
female(carrie).
female(phyl).
female(rachel).
male(dave).
male(tom).
male(theo).
 ...

1
2
:- initialization(main).
main :- write('Иван поймал 0 рыб на живца\nСергей поймал 1 рыбу на червей\nТолик поймал 2 рыбы на опарыша\nФедор поймал 3 рыбы на мух'), nl, halt.

1
2
:- initialization(main).
main :- write('Иван поймал 0 рыб на живца'), nl, halt.

1
2
:- initialization(main).
main :- write('Hello World!'), nl, halt.

1
2
 
hello_world :- write('Hello World!'), nl.

1
write('Hello!').