Difference between r1.4 and the current
@@ -1,8 +1,35 @@
[[TableofContents]]
A~E의 5명이 있다.
= SWI-Prolog Editor =
http://lakk.bildung.hessen.de/netzwerk/faecher/informatik/swiprolog/indexe.html
= SWI-Prolog & Editor =
* [http://www.swi-prolog.org/download/stable SWI-Prolog]
* [http://lakk.bildung.hessen.de/netzwerk/faecher/informatik/swiprolog/indexe.html Editor]
= 국민 예제 - 가계도 만들기 =
{{{
man(cronus).
woman(rhea).
is_married_to(cronus, rhea).
is_son_of(hades, cronus).
is_son_of(poseidon, cronus).
is_son_of(zeus, cronus).
is_daughter_of(hestia, cronus).
is_daughter_of(hera, cronus).
is_daughter_of(demeter, cronus).
is_parent_of(Y, X) :- is_son_of(X, Y); is_daughter_of(X, Y).
}}}
= 연습문제 =
{{{
has_played(peter, titanic).
has_played(peter, hulk).
has_played(donald, titanic).
has_played(willy, matrix).
has_played(susan, titanic).
has_played(susan, matrix).
has_played(jane, highnoon).
}}}
= 레이튼 교수와 함께 =A~E의 5명이 있다.
2. 국민 예제 - 가계도 만들기 ¶
man(cronus). woman(rhea). is_married_to(cronus, rhea). is_son_of(hades, cronus). is_son_of(poseidon, cronus). is_son_of(zeus, cronus). is_daughter_of(hestia, cronus). is_daughter_of(hera, cronus). is_daughter_of(demeter, cronus). is_parent_of(Y, X) :- is_son_of(X, Y); is_daughter_of(X, Y).
3. 연습문제 ¶
has_played(peter, titanic). has_played(peter, hulk). has_played(donald, titanic). has_played(willy, matrix). has_played(susan, titanic). has_played(susan, matrix). has_played(jane, highnoon).
4. 레이튼 교수와 함께 ¶
A~E의 5명이 있다.
그들은 전원이 5명 중 누군가 한 명에게서 돈을 빌리고 있고, 또 다른 한 명에게 돈을 빌려주고 있으며, 같은 상대에게서 빌린 동시에 빌려준 경우는 없다고 한다.
그들은 전원이 5명 중 누군가 한 명에게서 돈을 빌리고 있고, 또 다른 한 명에게 돈을 빌려주고 있으며, 같은 상대에게서 빌린 동시에 빌려준 경우는 없다고 한다.
- B는 A에게 빌렸다.
- E는 A에게 빌려주지 않았다.
- C는 D에게 빌려주었다.
5. 아인슈타인의 퍼즐 ¶
...그러나 아인슈타인이 만들었다는 건 뻥이다.
다음과 같이 네 가지의 전제 조건이 주어져 있다.
1.색깔이 다른 5 채의 집이 일렬로 있다.
2.각 집에는 서로 다른 국적을 가진 사람이 살고 있다.
3.다섯 사람은 어떤 종류의 음료를 마시고, 담배를 피며, 동물을 기르고 있다.
4.어떤 두 사람도 음료나 담배, 또는 키우는 동물이 일치하지 않는다.
2.각 집에는 서로 다른 국적을 가진 사람이 살고 있다.
3.다섯 사람은 어떤 종류의 음료를 마시고, 담배를 피며, 동물을 기르고 있다.
4.어떤 두 사람도 음료나 담배, 또는 키우는 동물이 일치하지 않는다.
아래와 같은 15개의 정보가 주어졌을 때, 금붕어를 키우는 사람은 어느 나라 사람일까?
1.영국인은 빨간 집에 산다.
2.스웨덴인은 개를 기른다.
3.덴마크인은 차를 마신다.
4.초록 집은 하얀 집의 왼쪽 집이다.
5.초록 집에 사는 사람은 커피를 마신다.
6.펠멜(Pall Mall) 담배를 피우는 사람은 새를 기른다.
7.노란 집 사람은 던힐(Dunhill) 담배를 피운다.
8.한가운데 집에 사는 사람은 우유를 마신다.
9.노르웨이인은 첫 번째 집에 산다.
10.블렌드(Blend) 담배를 피우는 사람은 고양이를 기르는 사람 옆 집에 산다.
11.말을 기르는 사람은 던힐(Dunhill) 담배를 피우는 사람 옆 집에 산다.
12.블루 매스터(Blue Master) 담배를 피우는 사람은 맥주를 마신다.
13.독일인은 프린스(Prince) 담배를 피운다.
14.노르웨이인은 파란 집 옆집에 산다.
15.블렌드(Blend) 담배를 피우는 사람은 생수를 마시는 사람과 이웃이다.
2.스웨덴인은 개를 기른다.
3.덴마크인은 차를 마신다.
4.초록 집은 하얀 집의 왼쪽 집이다.
5.초록 집에 사는 사람은 커피를 마신다.
6.펠멜(Pall Mall) 담배를 피우는 사람은 새를 기른다.
7.노란 집 사람은 던힐(Dunhill) 담배를 피운다.
8.한가운데 집에 사는 사람은 우유를 마신다.
9.노르웨이인은 첫 번째 집에 산다.
10.블렌드(Blend) 담배를 피우는 사람은 고양이를 기르는 사람 옆 집에 산다.
11.말을 기르는 사람은 던힐(Dunhill) 담배를 피우는 사람 옆 집에 산다.
12.블루 매스터(Blue Master) 담배를 피우는 사람은 맥주를 마신다.
13.독일인은 프린스(Prince) 담배를 피운다.
14.노르웨이인은 파란 집 옆집에 산다.
15.블렌드(Blend) 담배를 피우는 사람은 생수를 마시는 사람과 이웃이다.
