User Tools

Site Tools


study:algorithms:functional_logic_programming

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
study:algorithms:functional_logic_programming [2013/05/31 16:59]
psk810 [Out of Tarpit]
study:algorithms:functional_logic_programming [2019/02/04 14:26] (current)
Line 310: Line 310:
 ===== Out of Tarpit ===== ===== Out of Tarpit =====
  
-함수 논리형 프로그래밍은 프로그래밍의 성배(Holy Grail) ​혹은 궁극의 프로그래밍으로 회자되고 있다.(([[http://​www.isi.edu/​integration/​courses/​csci548/​papers/​BartakHolyGrail.pdf|Constraint Programming:​ In Pursuit of the Holy Grail]] 1996. 프로그래밍 성배는 [[http://​freuder.wordpress.com/​research/​|Gene Freuder]]에 의해 만들어진 단어로 '​인간이여 문제를 기술하라,​ 그리하면 컴퓨터가 알아서 풀것이다!'​를 지향한다. 특히 제약 프로그래밍에 대한 응용은 다음을 보라. [[http://​www.informatik.uni-ulm.de/​pm/​fileadmin/​pm/​home/​fruehwirth/​pisa/​slides-studium-generale.pdf|Constraint Programming]]. 제약 프로그래밍에 대한 간단한 소개는 다음을 보라. [[http://​www.cs.nott.ac.uk/​~rxq/​files/​0CLPIntroCP.pdf|Overview of CP]])) ​+함수 논리형 프로그래밍은 프로그래밍의 성배(Holy Grail)으로 회자되고 있다.(([[http://​www.isi.edu/​integration/​courses/​csci548/​papers/​BartakHolyGrail.pdf|Constraint Programming:​ In Pursuit of the Holy Grail]] 1996. 프로그래밍 성배는 [[http://​freuder.wordpress.com/​research/​|Gene Freuder]]에 의해 만들어진 단어로 '​인간이여 문제를 기술하라,​ 그리하면 컴퓨터가 알아서 풀것이다!'​를 지향한다. 특히 제약 프로그래밍에 대한 응용은 다음을 보라. [[http://​www.informatik.uni-ulm.de/​pm/​fileadmin/​pm/​home/​fruehwirth/​pisa/​slides-studium-generale.pdf|Constraint Programming]]. 제약 프로그래밍에 대한 간단한 소개는 다음을 보라. [[http://​www.cs.nott.ac.uk/​~rxq/​files/​0CLPIntroCP.pdf|Overview of CP]])) ​
  
 리치 히키 또한 논리형 프로그래밍을 클로져에 도입하기 위해 core.logic을 받아들였지만,​ 주 작성자인 David Nolen이 core.logic을 주로 miniKanren에 기반하였기 때문에 상대적으로 한계가 있는 것으로 보인다. 리치 히키 또한 논리형 프로그래밍을 클로져에 도입하기 위해 core.logic을 받아들였지만,​ 주 작성자인 David Nolen이 core.logic을 주로 miniKanren에 기반하였기 때문에 상대적으로 한계가 있는 것으로 보인다.
study/algorithms/functional_logic_programming.txt · Last modified: 2019/02/04 14:26 (external edit)