1
2
3
4
:- dynamic x/1.
x(1).
x(1).
:- retract(x(1)), listing(x).

1
2
3
4
:- dynamic x/1.
x(1).
x(1).
:- retract(x(1)), x(1).

1
2
3
x(1).
x(1).
:- retract(x(1)), x(1).

1
2
3
4
append([],Y,Y).
append([W|X],Y,[W|Z]):- append(X,Y,Z).
reverse([],[]).
reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).

1
2
reverse([],[]).
reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).

1
2
reverse([],[]).
reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).

1
2
reverse([],[]).
reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).

1
2
3
4
5
6
7
student("Иван",41).
student("Камен", 41).
student("Катерина", 42).
student("Нина", 41).
student("Драго", 42).
student("Пепи", 42).
college(X, Y):-student(X,N), student(Y,N), not(X=Y).

1
2
3
4
5
6
7
8
9
    run :-
        X = [_,_,_,_,_],                                /* Es gibt (nebeneinander) 5 (noch unbekannte) Häuser */
        member([rot,brite,_,_,_],X),                    /* Der Brite lebt im roten Haus */
        member([_,schwede,_,_,hund],X),                 /* Der Schwede hält einen Hund */
        member([_,daene,tee,_,_],X),                    /* Der Däne trinkt gern Tee */
        links([gruen,_,_,_,_],[weiss,_,_,_,_],X),       /* Das grüne Haus steht links vom weißen Haus */
        member([gruen,_,kaffee,_,_],X),                 /* Der Besitzer des grünen Hauses trinkt Kaffee */
        member([_,_,_,pallmall,vogel],X),               /* Die Person, die Pall Mall raucht, hält einen Vogel */
        mittleres([_,_,milch,_,_],X),                   /* Der Mann, der im mittleren Haus wohnt, trinkt Milch */
 ...

1
X=X.

1
2
3
4
5
6
7
 person(1).
 person(2).
 person(3).
 
 name(1, peter).
 name(2, bob).
 name(3, amanda).

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
dyzury([andrzej,A,tomek,T,wojtek,W,gienek,E,romek,R,jurek,J,greg,G]) :-
    D0 = [1,2,3,4,5,6,7],
    R = 4,
    select(A, D0, D1), A > T,
    select(W, D2, D3), W < 4, W is G-2,
    select(T, D3, D4), T > 4,
    select(J, D4, D5), J is E+1,
    select(E, D5, [G]).

1
2
3
4
5
6
7
8
dyzury([andrzej,A,tomek,T,wojtek,W,gienek,E,romek,R,jurek,J,greg,G]) :-
    D0 = [1,2,3,4,5,6,7],
    R = 4,
    select(A, D0, D1), A > T,
    select(W, D2, D3), W < 4, W is G-2,
    select(T, D3, D4), T > 4,
    select(J, D4, D5), J is E+1,
    select(E, D5, [G]).

1
2
3
appendM([], L, L).
appendM([X|L1], L2, [X|L3]) :-
        appendM(L1, L2, L3).

1
2
3
appendM([], L, L).
appendM([X|L1], L2, [X|L3]) :-
        appendM(L1, L2, L3).

1
szuloje('Imre', 'Istvan').

1
X = Y.

1
unify(A, B).

1
2
3
4
5
6
7
8
9
% 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),twist(X,A,B).
 
oneletter([],[],[]).
 ...

1
2
3
4
5
6
7
8
9
% 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);twist(X,A,B).
 
oneletter([],[],[]).
 ...

1
2
3
4
5
6
7
8
9
% 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);twist(X,A,B).
 
oneletter([],[],[]).
 ...

1
2
3
4
5
6
7
8
9
% 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);twist(X,A,B).
 
oneletter([],[],[]).
 ...

1
2
3
4
5
6
7
8
9
% 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);twist(X,A,B).
 
oneletter([],[],[]).
 ...

1
2
3
4
5
6
7
8
9
% 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).
 
oneletter([],[],[]).
 ...

1
2
3
4
5
6
7
8
9
% 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).
 
oneletter([],[],[]).
 ...

1
2
3
4
5
6
7
8
9
% 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).
 
oneletter([],[],[]).
 ...

1
2
3
4
5
6
7
8
9
% 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).
 
oneletter([],[],[]).
 ...

1
2
3
4
5
6
7
8
9
% 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).
 
oneletter([],[],[]).
 ...

1
2
3
4
5
6
7
8
9
% 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).
 
oneletter([],[],[]).
 ...