선언형 언어

선언형 언어

프로그램이 수행해야 할 문제를 기술하는 언어로 목표를 명시하고 알고리즘을 명시하지 않는다

 

분류

 

-함수형 언어 

• 수학적 함수를 조합해 문제를 해결하는 언어로 알려진 값을 함수에 적용하는 것을 기반으로 한다.
• 대표적인 언어 : LISP

 

-논리형 언어

• 기호 논리학에 기반을 둔 언어로 논리 문장을 이용해 프로그램을 표현하고 계산을 수행한다.
• 대표적인 언어 : PROLOG

 

종류

HTML	인터넷의 표준 문서인 하이퍼텍스트 문서를 만들기 위해 사용하는 언어 특별한 데이터 타입이 없는 단순한 텍스트이므로 호환성이 좋고 사용이 편리
LISP	인공지능 분야에 사용되는 언어로 기본 자료 구조가 연결 리스트 구조이며 재귀 호출을 많이 사용
PROLOG	논리학을 기초로 한 고급 언어로 인공 지능 분야에서의 논리적인 추론이나 리스트 처리 등에 주로 사용
XML	기존 HTML의 단점을 보완해 웹에서 구조화된 폭넓고 다양한 문서들을 상호 교환할 수 있도록 설계된 언어 사용자가 HTML에 새로운 태그를 정의할 수 있다.
Haskell	함수형 프로그래밍 언어로 부작용이 없고 코드가 간결해 에러 발생 가능성이 낮다