[[TableofContents]] = SWI-Prolog Editor = http://lakk.bildung.hessen.de/netzwerk/faecher/informatik/swiprolog/indexe.html = 아인슈타인의 퍼즐 = ...그러나 아인슈타인이 만들었다는 건 뻥이다. 다음과 같이 네 가지의 전제 조건이 주어져 있다. 1.색깔이 다른 5 채의 집이 일렬로 있다. 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) 담배를 피우는 사람은 생수를 마시는 사람과 이웃이다.