PrologProlog

% 사실 (Facts): 참인 명제
부모(홍판서, 홍길동).
부모(홍판서, 홍길순).
남자(홍판서).
남자(홍길동).
여자(홍길순).

% 규칙 (Rules): 조건적 논리
아버지(X, Y) :- 부모(X, Y), 남자(X).
조상(X, Y)   :- 부모(X, Y).
조상(X, Y)   :- 부모(X, Z), 조상(Z, Y).

% 쿼리 (Query)
?- 아버지(홍판서, X).
% X = 홍길동 ;
% X = 홍길순

?- 조상(홍판서, X).
% X = 홍길동 ;
% X = 홍길순

% 리스트 [H|T]: 머리(H)와 꼬리(T)
길이([], 0).
길이([_|T], N) :- 길이(T, N1), N is N1 + 1.

멤버(X, [X|_]).
멤버(X, [_|T]) :- 멤버(X, T).

뒤집기([], []).
뒤집기([H|T], R) :- 뒤집기(T, RT), append(RT, [H], R).

% 퀵정렬
퀵정렬([], []).
퀵정렬([H|T], Sorted) :-
  분할(H, T, Less, Greater),
  퀵정렬(Less, SortedLess),
  퀵정렬(Greater, SortedGreater),
  append(SortedLess, [H|SortedGreater], Sorted).

분할(_, [], [], []).
분할(Pivot, [H|T], [H|Less], Greater) :-
  H =< Pivot, !,
  분할(Pivot, T, Less, Greater).
분할(Pivot, [H|T], Less, [H|Greater]) :-
  분할(Pivot, T, Less, Greater).