논리형 프로그래밍

Prolog로 대표되는 논리형 프로그래밍(LP, Logical Programming). 아직 나에게는 미지의 영역.

https://swish.swi-prolog.org/example/lists.pl

There are only three basic constructs in Prolog: facts, rules, and queries. A collection of facts and rules is called a knowledge base (or a database) and Prolog programming is all about writing knowledge bases. That is, Prolog programs simply are knowledge bases, collections of facts and rules which describe some collection of relationships that we find interesting.

http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse1

어떤 분이 쓰신 종료하는 결정적 무작위 정렬 .


sorted([]).
sorted([_]).
sorted([X1, X2| Xs]) :-
  X1 =< X2,
  sorted([X2 | Xs]).

insert(X, Ys, [X | Ys]).
insert(X, [Y | Ys], [Y | Zs]) :-
  insert(X, Ys, Zs).

reorder([], []).
reorder([X | Xs], Zs) :-
  reorder(Xs, Ys),
  insert(X, Ys, Zs).

mysort(Xs, Ys) :- reorder(Xs, Ys), sorted(Ys).


mysort([0,1,4,3,7,3,8,2, 90, 50, 70, 30, 10], X).

위와 같이 부르면 시간 초과 난다... 결이는 10개 미만으로....