기능 논리 프로그래밍

Functional logic programming
프로그래밍 패러다임

기능 논리 프로그래밍은 기능 프로그래밍과 논리 프로그래밍의 패러다임을 단일 프로그래밍 언어로 조합한 것이다.[1]이러한 형식의 프로그래밍은 커리와 머큐리를 포함한 다양한 프로그래밍 언어에 의해 구현된다.[2][1]

기능 프로그래밍과 논리 프로그래밍의 통합에 전념하는 저널은 1995년과 2008년 사이에 MIT Press와 유럽 프로그래밍 언어 및 시스템 협회에 의해 출판되었다.[3]

참조

  1. ^ a b 앤토이, 세르히오, 마이클 하누스. "기능 논리 프로그래밍."코뮌.ACM 53.4(2010): 74-85.
  2. ^ 하누스, 마이클, 허버트 쿠첸, 후안 호세 모레노 나바로."커리: 정말 기능적인 논리 언어."Proc. ILPS.제95권1995년 5월 5일.
  3. ^ Kuchen, Herbert. "The Journal of Functional and Logic Programming". University of Münster.

외부 링크


Stub icon

이 프로그래밍 언어 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.