• SWI-Prolog
  
• 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������ ������.
그������ ��������� 5��� ��� ���군�� ��� ������게��� ������ ������고 ���고, ��� ������ ��� ������게 ������ ���������고 ���������, ����� ���������게��� ������ ��������� ��������� 경������ ������고 ������.

• B��� A���게 ���������.
  
• E��� A���게 ������������ ���������.
  
• C��� D���게 ���������������.
  

그��� A��� ���구���게��� ������ ���������까?

...그������ ������������������ ��������������� �� ���������.

������과 ����� ��� �������� ������ �������� ��������� ������.

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