Prolog

Aus ProgrammingWiki

Archivierte Version vom 2009-05-27T11:57:29+00:00. Aktuelle Version

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

<eval> grossvater(X,frank). </eval>

%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

<eval> queens(8,P). </eval>

% 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).

<eval>siedlung(A,B,C,D,E).</eval>

Prolog

Suche