Comp520MLCourse-8.6-PrologExamples

逻辑题编程实例

翠竹的同学都在某德资企业工作，溪兰是翠竹的大学同学，洞松是该德资企业的部门经理。该德资企业的员工有些来自淮安。该德资企业的员工都曾到德国研修，他们都会说德语。以下哪项可以从以上陈述中得出？（MBA.2013.51）（A）洞松与溪兰是大学同学。（B）翠竹的大学同学有些是部门经理。（C）翠竹与洞松是大学同学。（D）溪兰会说德语。（E）洞松来自淮安。


xxxxxxxxxx
9
1
work(X,dezi):-tongxue(cuizu,X).
2
tongxue(cuizu,xilan).
3
work(dongsong,dezi).
4
speak(X,deyu):-work(X,dezi).
5
answer:-
6
  tongxue(cuizu,dongsong).
7

8
?- answer.
9
false.

通过尝试各个选项，可以得出(D)是正确的。


xxxxxxxxxx
5
1
answer:-
2
  speak(xilan,deyu).
3

4
?- answer.
5
true.

张老师让小李、小王、小赵和小杨四位同学确认徐州会战、南京保卫战、湘西会战、淞沪会战四场战役的先后顺序。

小李说: 以上战役依次是第一、第二、第三、第四场战役;
小王说: 以上战役依次是第一、第三、第四和第二场战役;
小赵说: 以上战役依次是第四、第三、第一和第二场战役;
小杨说: 以上战役依次是第四、第二、第三和第一场战役。张老师说: 小赵一个都没有说对，小李和小王各说对了一个，而小杨说对了两个。由此可以判断：
A. 第一场战役是南京保卫战;
B. 第二场战役是湘西会战;
C. 第三场战役不是徐州会战;
D. 第四场战役不是淞沪会战。

子集验证函数


xxxxxxxxxx
16
1
subset([],_).
2
subset([X|Y], Z):-
3
  member(X,Z),
4
  subset(Y,Z).
5

6
?- subset([],[a,b,c]).
7
true.
8

9
?- subset([c,b],[a,b,c]).
10
true .
11

12
?- subset([c,d],[a,b,c]).
13
false.
14

15
?- subset([a,b,c],[a,b]).
16
false.

元素互异验证函数


xxxxxxxxxx
16
1
unique([]).
2
unique([X|Y]):-
3
  not(member(X, Y)),
4
  unique(Y).
5

6
?- unique([]).
7
true.
8

9
?- unique([a,a,b]).
10
false.
11

12
?- unique([a,b]).
13
true.
14

15
?- unique([a,b,c]).
16
true.

匹配计数函数


xxxxxxxxxx
20
1
total([], _, 0).
2
total([A1|A2], [B1|B2], N):- 
3
  (A1=B1, N1=1; A1\=B1, N1=0), 
4
  total(A2, B2, N2), 
5
  N is N1+N2.
6

7
?- total([], _, X).
8
X = 0.
9

10
?- total([a,b,d,c],[d,b,a,c],X).
11
X = 2.
12

13
?- total([a,b,c,d],[d,b,a,c],X).
14
X = 1.
15

16
?- total([a,b,c],[d,b,a,c],X).
17
X = 1.
18

19
?- total([a,b,d,c],[d,b,a,c],2).
20
true.

确定顺序


xxxxxxxxxx
17
1
answer:-
2
  Orders=[_,_,_,_],
3
  subset(Orders, [1,2,3,4]),
4
  unique(Orders),
5
  total(Orders, [1,2,3,4], Li),
6
  Li=1,
7
  total(Orders, [1,3,4,2], Wang),
8
  Wang=1,
9
  total(Orders, [4,3,1,2], Zhang),
10
  Zhang=0,
11
  total(Orders, [4,2,3,1], Yang),
12
  Yang=2,
13
  write(Orders).
14
  
15
?- answer.
16
[3,2,4,1]
17
true.

确定顺序函数


xxxxxxxxxx
16
1
getOrders(Orders):-
2
  Orders=[_,_,_,_],
3
  subset(Orders, [1,2,3,4]),
4
  unique(Orders),
5
  
6
  total(Orders, [1,2,3,4], Li),
7
  Li=1,
8
  total(Orders, [1,3,4,2], Wang),
9
  Wang=1,
10
  total(Orders, [4,3,1,2], Zhang),
11
  Zhang=0,
12
  total(Orders, [4,2,3,1], Yang),
13
  Yang=2.
14
  
15
?- getOrders(Orders).
16
Orders = [3, 2, 4, 1].

确定选项函数


xxxxxxxxxx
10
1
determineAnswer(X,Orders):-
2
  getOrders(Orders),
3
  ((X=a, nth0(1,Orders,1,_));
4
  (X=b, nth0(2,Orders,2,_));
5
  (X=c, \+(nth0(0,Orders,3,_)));
6
  (X=d, \+(nth0(3,Orders,4,_)))).
7
  
8
?- determineAnswer(X,Orders).
9
X = d,
10
Orders = [3, 2, 4, 1].

完整程序


32
1
subset([],_).
2
subset([X|Y], Z):-
3
  member(X,Z),
4
  subset(Y,Z).
5

6
unique([]).
7
unique([X|Y]):-
8
  not(member(X, Y)),
9
  unique(Y).
10

11
total([], _, 0).
12
total([A1|A2], [B1|B2], N):- (A1=B1, N1=1; A1\=B1, N1=0), total(A2, B2, N2), N is N1+N2.
13

14
getOrders(Orders):-
15
  Orders=[_,_,_,_],
16
  subset(Orders, [1,2,3,4]),
17
  unique(Orders),
18
  total(Orders, [1,2,3,4], Li),
19
  Li=1,
20
  total(Orders, [1,3,4,2], Wang),
21
  Wang=1,
22
  total(Orders, [4,3,1,2], Zhang),
23
  Zhang=0,
24
  total(Orders, [4,2,3,1], Yang),
25
  Yang=2.
26

27
determineAnswer(X,Orders):-
28
  getOrders(Orders),
29
  ((X=a, nth0(1,Orders,1,_));
30
  (X=b, nth0(2,Orders,2,_));
31
  (X=c, \+(nth0(0,Orders,3,_)));
32
  (X=d, \+(nth0(3,Orders,4,_)))).