Prolog

Aus ProgrammingWiki

Archivierte Version vom 2011-01-10T19:14:29+00:00. Aktuelle Version

Welche Befehle dieser Interpreter versteht finden Sie hier: Prädikatliste. Alternativ können Sie den Befehl LISTPREDICATES in eine EVAL Box eintragen. Es wird eine unsortierte Liste ausgegeben.

LISTPREDICATES

mann(adam).
mann(tobias).
mann(frank).
frau(eva).
frau(daniela).
frau(ulrike).
vater(adam,tobias).
vater(tobias,frank).
vater(tobias,ulrike).
mutter(eva,tobias).
mutter(daniela,frank).
mutter(daniela,ulrike).

grossvater(X,Y) :-
       vater(X,Z),
       vater(Z,Y).

grossvater(X,Y) :-
       vater(X,Z),
       mutter(Z,Y).

grossvater(X,frank).

%queens(N,[N1,N2,...,NN]) is true if you can put a queen on an NxN
%                         in the ith rank of the nth file, s.t. no
%                         queen attacks any other queen.

queens(N,Qs) :-
	range(1,N,Ns), queens(Ns,[],Qs).

queens(UnplacedQs, SafeQs, Qs) :-
	selectq(Q, UnplacedQs, UnplacedQs1),
	\+ attack(Q,SafeQs),
	queens(UnplacedQs1,[Q|SafeQs],Qs).
queens([],Qs,Qs).

attack(X,Xs) :- attack(X, 1, Xs).

attack(X,N,[Y|_]) :- X is Y+N ; X is Y-N.
attack(X,N,[_|Ys]) :- N1 is N+1, attack(X,N1,Ys).

range(M,N,[M|Ns]) :- M < N, M1 is M+1, range(M1,N,Ns).
range(N,N,[N]).

selectq(X,[X|Xs],Xs).  
selectq(X,[Y|Ys],[Y|Zs]) :- selectq(X,Ys,Zs). 

%Try
%queens(4,P).
%
% The result P=[3,1,4,2] means the queens go like this:
%    *****************
% 4  *   *   * Q *   *
%    *****************
% 3  * Q *   *   *   *
%    *****************
% 2  *   *   *   * Q *
%    *****************
% 1  *   * Q *   *   *
%    *****************
%      1   2   3   4

queens(8,P).

% Einstein Rätsel!
% Nur 2% der Personen auf der Welt können dieses Rätsel lösen;-)
%
% Es gibt fünf Häuser mit je einer Farbe.
% In jedem Haus wohnt eine Person einer anderen Nationalität.
% Jeder Hausbewohner bevorzugt ein bestimmtes Getränk, raucht eine bestimmte Zigarettenmarke und hält ein bestimmtes Haustier.
% KEINE der fünf Personen trinkt das gleiche Getränk, raucht die gleichen Zigaretten oder hält das gleiche Tier wie einer seiner Nachbarn.
%
% Hinweise:
% 1. Der Brite lebt im roten Haus.
% 2. Der Schwede haelt einen Hund.
% 3. Der Daene trinkt gerne Tee.
% 4. Das gruene Haus steht links vom weissen Haus.
% 5. Der Besitzer vom gruenen Haus trinkt Kaffee.
% 6. Die Person, die PallMall raucht, haelt eine Vogel.
% 7. Der Mann, der im mittleren Haus wohnt, trinkt gerne Milch.
% 8. Der Besitzer des gelben Hauses raucht Dunhill.
% 9. Der Norweger wohnt im ersten Haus.
%10. Der Malboro-Raucher wohnt neben dem, der eine Katze haelt.
%11. Der Mann, der ein Pferd haelt, wohnt neben dem, der Dunhill raucht.
%12. Der Winfield-Raucher trinkt gerne Bier.
%13. Der Norweger wohnt neben dem blauen Haus.
%14. Der Deutsche raucht Rothmanns.
%15. Der Malboro-Raucher hat einen Nachbarn, der Wasser trinkt.

% Mögliche Lösungen:
% A = 1, norweger, gruen, kaffee, pallmall, vogel
% B = 2, deutscher, blau, wasser, rothmanns, katze
% C = 3, schwede, weiss, milch, marlboro, hund
% D = 4, brite, rot, bier, winfield, pferd
% E = 5, daene, gelb, tee, dunhill, fisch ;

% A = 1, norweger, gruen, kaffee, marlboro, fisch
% B = 2, deutscher, blau, wasser, rothmanns, katze
% C = 3, schwede, gelb, milch, dunhill, hund
% D = 4, brite, rot, bier, winfield, pferd
% E = 5, daene, weiss, tee, pallmall, vogel ;


% A = 1, norweger, gruen, kaffee, pallmall, vogel
% B = 2, deutscher, blau, wasser, rothmanns, katze
% C = 3, brite, rot, milch, marlboro, pferd
% D = 4, daene, gelb, tee, dunhill, fisch
% E = 5, schwede, weiss, bier, winfield, hund ;

% A = 1, norweger, gruen, kaffee, pallmall, vogel
% B = 2, deutscher, blau, wasser, rothmanns, fisch
% C = 3, brite, rot, milch, marlboro, pferd
% D = 4, daene, gelb, tee, dunhill, katze
% E = 5, schwede, weiss, bier, winfield, hund ;

% A = 1, norweger, gruen, kaffee, pallmall, vogel
% B = 2, deutscher, blau, wasser, rothmanns, katze
% C = 3, schwede, weiss, milch, marlboro, hund
% D = 4, daene, gelb, tee, dunhill, fisch
% E = 5, brite, rot, bier, winfield, pferd ;

% A = 1, norweger, gruen, kaffee, pallmall, vogel
% B = 2, deutscher, blau, wasser, rothmanns, fisch
% C = 3, schwede, weiss, milch, marlboro, hund
% D = 4, daene, gelb, tee, dunhill, katze
% E = 5, brite, rot, bier, winfield, pferd ;

% A = 1, norweger, gelb, wasser, dunhill, katze
% B = 2, daene, blau, tee, marlboro, pferd
% C = 3, brite, rot, milch, pallmall, vogel
% D = 4, deutscher, gruen, kaffee, rothmanns, fisch
% E = 5, schwede, weiss, bier, winfield, hund ;


%mögliche Nationen
nation(brite).
nation(schwede).
nation(daene).
nation(norweger).
nation(deutscher).

%mögliche Farben
farbe(rot).
farbe(gelb).
farbe(gruen).
farbe(weiss).
farbe(blau).

%mögliche Getränke
getraenk(milch).
getraenk(wasser).
getraenk(bier).
getraenk(kaffee).
getraenk(tee).

%mögliche Zigaretten
zigaretten(dunhill).
zigaretten(winfield).
zigaretten(rothmanns).
zigaretten(marlboro).
zigaretten(pallmall).

%mögliches Haustier
haustier(hund).
haustier(vogel).
haustier(pferd).
haustier(katze).
haustier(fisch).

%Positionen
pos(1).
pos(2).
pos(3).
pos(4).
pos(5).

ungleich(A,B,C,D,E):-
	not(A = B),
	not(A = C),
	not(A = D),
	not(A = E),
	not(B = C),
	not(B = D),
	not(B = E),
	not(C = D),
	not(C = E),
	not(D = E).

position(A, B, C, D, E):-
	pos(A),
	pos(B),
	pos(C),
	pos(D),
	pos(E),
	ungleich(A, B, C, D, E).


nation(A,B,C,D,E):-
	nation(A),
	nation(B),
	nation(C),
	nation(D),
	nation(E),
	ungleich(A,B,C,D,E).

farbe(A,B,C,D,E):-
	farbe(A),
	farbe(B),
	farbe(C),
	farbe(D),
	farbe(E),
	ungleich(A,B,C,D,E).

getraenk(A, B, C, D, E):-
	getraenk(A),
	getraenk(B),
	getraenk(C),
	getraenk(D),
	getraenk(E),
	ungleich(A, B, C, D, E).

zigaretten(A, B, C, D, E):-
	zigaretten(A),
	zigaretten(B),
	zigaretten(C),
	zigaretten(D),
	zigaretten(E),
	ungleich(A, B, C, D, E).

haustier(A, B, C, D, E):-
	haustier(A),
	haustier(B),
	haustier(C),
	haustier(D),
	haustier(E),
	ungleich(A,B,C,D,E).

% Masterrule: Vorlage für rule
% z.B. deutscher raucht rothmanns, k=deutscher, l=rothmanns
%      übergabe: paarweise nation und zigarette
mrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	A = K,
	B = L.
mrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	C = K,
	D = L.
mrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	E = K,
	F = L.
mrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	G = K,
	H = L.
mrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	I = K,
	J = L.

siedlung((P1, N1 ,F1, G1, Z1, T1),(P2, N2, F2, G2, Z2, T2), (P3, N3, F3, G3, Z3, T3), (P4, N4, F4, G4, Z4, T4), (P5, N5, F5, G5, Z5, T5)):-
	P1 = 1,
	P2 = 2,
	P3 = 3,
	P4 = 4,
	P5 = 5,
	%position(P1,P2,P3,P4,P5),
	nation(N1,N2,N3,N4,N5),

% Der Norweger wohnt im ersten Haus.
	mrule(P1,N1,P2,N2,P3,N3,P4,N4,P5,N5,1,norweger),
	farbe(F1,F2,F3,F4,F5),
	rule4(F1,1,F2,2,F3,3,F4,4,F5,5),
% Der Brite lebt im roten Haus.
	mrule(N1,F1,N2,F2,N3,F3,N4,F4,N5,F5, brite, rot),
	getraenk(G1,G2,G3,G4,G5),
% Der Mann, der im mittleren Haus wohnt, trinkt Milch.
	mrule(P1,G1,P2,G2,P3,G3,P4,G4,P5,G5,3,milch),
% Der Besitzer des grünen Hauses trinkt Kaffee
	mrule(F1,G1,F2,G2,F3,G3,F4,G4,F5,G5, gruen, kaffee),
% Der Däne trinkt gerne Tee.
	mrule(N1,G1,N2,G2,N3,G3,N4,G4,N5,G5, daene, tee),
	zigaretten(Z1, Z2, Z3, Z4, Z5),

% Der Winfield-Raucher trinkt gerne Bier.
	mrule(Z1,G1,Z2,G2,Z3,G3,Z4,G4,Z5,G5,winfield,bier),

% Der Besitzer des gelben Hauses raucht Dunhill.
	mrule(F1,Z1,F2,Z2,F3,Z3,F4,Z4,F5,Z5,gelb,dunhill),
	haustier(T1, T2, T3, T4, T5),
% Der Schwede hält einen Hund
	mrule(N1,T1,N2,T2,N3,T3,N4,T4,N5,T5, schwede, hund),
% Die Person, die Pall Mall raucht, hält einen Vogel.
	mrule(Z1,T1,Z2,T2,Z3,T3,Z4,T4,Z5,T5, pallmall, vogel),

% Der Deutsche raucht Rothmanns.
	mrule(N1,Z1,N2,Z2,N3,Z3,N4,Z4,N5,Z5,deutscher,rothmanns),
% Der Marlboro-Raucher wohnt neben dem, der eine Katze hält.
	nrule(Z1,T1,Z2,T2,Z3,T3,Z4,T4,Z5,T5,marlboro,katze),
% Der Mann, der ein Pferd hält, wohnt neben dem, der Dunhill raucht.
	nrule(Z1,T1,Z2,T2,Z3,T3,Z4,T4,Z5,T5, dunhill, pferd),
% Der Norweger wohnt neben dem blauen Haus.
	nrule(N1,F1,N2,F2,N3,F3,N4,F4,N5,F5, norweger, blau),
% Der Marlboro-Raucher hat einen Nachbarn, der Wasser trinkt.
	nrule(Z1,G1,Z2,G2,Z3,G3,Z4,G4,Z5,G5, marlboro, wasser).

% Allgemeine Regel für "wohnt neben"
nrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	A = K,
	D = L.
nrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	C = K,
	F = L.
nrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	E = K,
	H = L.
nrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	G = K,
	J = L.
nrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	B = L,
	C = K.
nrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	D = L,
	E = K.
nrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	F = L,
	G = K.
nrule(A,B,C,D,E,F,G,H,I,J,K,L):-
	H = L,
	I = K.

% Der Marlboro-Raucher wohnt neben dem, der eine Katze hält.
ruleN1(marlboro,_,_,katze,_,_,_,_,_,_).
ruleN1(_,_,marlboro,_,_,katze,_,_,_,_).
ruleN1(_,_,_,_,marlboro,_,_,katze,_,_).
ruleN1(_,_,_,_,_,_,marlboro,_,_,katze).
ruleN1(_,katze,marlboro,_,_,_,_,_,_,_).
ruleN1(_,_,_,katze,marlboro,_,_,_,_,_).
ruleN1(_,_,_,_,_,katze,marlboro,_,_,_).
ruleN1(_,_,_,_,_,_,_,katze,marlboro,_).

% Der Mann, der ein Pferd hält, wohnt neben dem, der Dunhill raucht.
ruleN2(dunhill,_,_,pferd,_,_,_,_,_,_).
ruleN2(_,_,dunhill,_,_,pferd,_,_,_,_).
ruleN2(_,_,_,_,dunhill,_,_,pferd,_,_).
ruleN2(_,_,_,_,_,_,dunhill,_,_,pferd).
ruleN2(_,pferd,dunhill,_,_,_,_,_,_,_).
ruleN2(_,_,_,pferd,dunhill,_,_,_,_,_).
ruleN2(_,_,_,_,_,pferd,dunhill,_,_,_).
ruleN2(_,_,_,_,_,_,_,pferd,dunhill,_).

% Der Norweger wohnt neben dem blauen Haus.
ruleN3(norweger,_,_,blau,_,_,_,_,_,_).
ruleN3(_,_,norweger,_,_,blau,_,_,_,_).
ruleN3(_,_,_,_,norweger,_,_,blau,_,_).
ruleN3(_,_,_,_,_,_,norweger,_,_,blau).
ruleN3(_,blau,norweger,_,_,_,_,_,_,_).
ruleN3(_,_,_,blau,norweger,_,_,_,_,_).
ruleN3(_,_,_,_,_,blau,norweger,_,_,_).
ruleN3(_,_,_,_,_,_,_,blau,norweger,_).

% Der Marlboro-Raucher hat einen Nachbarn, der Wasser trinkt.
ruleN4(marlboro,_,_,wasser,_,_,_,_,_,_).
ruleN4(_,_,marlboro,_,_,wasser,_,_,_,_).
ruleN4(_,_,_,_,marlboro,_,_,wasser,_,_).
ruleN4(_,_,_,_,_,_,marlboro,_,_,wasser).
ruleN4(_,wasser,marlboro,_,_,_,_,_,_,_).
ruleN4(_,_,_,wasser,marlboro,_,_,_,_,_).
ruleN4(_,_,_,_,_,wasser,marlboro,_,_,_).
ruleN4(_,_,_,_,_,_,_,wasser,marlboro,_).

% Der Brite lebt im roten Haus.
rule1(brite, rot,_,_,_,_,_,_,_,_).
rule1(_,_,brite,rot,_,_,_,_,_,_).
rule1(_,_,_,_,brite,rot,_,_,_,_).
rule1(_,_,_,_,_,_,brite,rot,_,_).
rule1(_,_,_,_,_,_,_,_,brite,rot).

% Der Schwede hält einen Hund
rule2(N1,F1,N2,F2,N3,F3,N4,F4,N5,F5):-
	N1 = schwede,
	F1 = hund.
rule2(N1,F1,N2,F2,N3,F3,N4,F4,N5,F5):-
	N2 = schwede,
	F2 = hund.
rule2(N1,F1,N2,F2,N3,F3,N4,F4,N5,F5):-
	N3 = schwede,
	F3 = hund.
rule2(N1,F1,N2,F2,N3,F3,N4,F4,N5,F5):-
	N4 = schwede,
	F4 = hund.
rule2(N1,F1,N2,F2,N3,F3,N4,F4,N5,F5):-
	N5 = schwede,
	F5 = hund.

% Der Däne trinkt gerne Tee.
rule3(daene,tee,_,_,_,_,_,_,_,_).
rule3(_,_,daene,tee,_,_,_,_,_,_).
rule3(_,_,_,_,daene,tee,_,_,_,_).
rule3(_,_,_,_,_,_,daene,tee,_,_).
rule3(_,_,_,_,_,_,_,_,daene,tee).
haus(P, daene, F, tee, Z, T).

% Das grüne Haus steht links vom weißen Haus
rule4(gruen,1,weiss,2,_,_,_,_,_,_).
rule4(gruen,1,_,_,weiss,3,_,_,_,_).
rule4(gruen,1,_,_,_,_,weiss,4,_,_).
rule4(gruen,1,_,_,_,_,_,_,weiss,5).
rule4(_,_,gruen,2,weiss,3,_,_,_,_).
rule4(_,_,gruen,2,_,_,weiss,4,_,_).
rule4(_,_,_,_,gruen,3,weiss,4,_,_).
rule4(gruen,1,_,_,_,_,_,_,weiss,5).
rule4(_,_,gruen,2,_,_,_,_,weiss,5).
rule4(_,_,_,_,gruen,3,_,_,weiss,5).
rule4(_,_,_,_,_,_,gruen,4,weiss,5).

% Der Besitzer des grünen Hauses trinkt Kaffee
rule5(gruen,kaffee,_,_,_,_,_,_,_,_).
rule5(_,_,gruen,kaffee,_,_,_,_,_,_).
rule5(_,_,_,_,gruen,kaffee,_,_,_,_).
rule5(_,_,_,_,_,_,gruen,kaffee,_,_).
rule5(_,_,_,_,_,_,_,_,gruen,kaffee).

% Die Person, die Pall Mall raucht, hält einen Vogel.
rule6(pallmall,vogel,_,_,_,_,_,_,_,_).
rule6(_,_,pallmall,vogel,_,_,_,_,_,_).
rule6(_,_,_,_,pallmall,vogel,_,_,_,_).
rule6(_,_,_,_,_,_,pallmall,vogel,_,_).
rule6(_,_,_,_,_,_,_,_,pallmall,vogel).

siedlung(A,B,C,D,E).

Prolog

Suche