선언적 프로그래밍 언어에는 문장이 있습니까?

Question

선언적 프로그래밍 언어에는 문장이 있습니까?

또 다른 방법으로 명령형 언어 고유의 진술이 있습니까?

Answer 1

내가 100 % 올바른 오전 있는지 모르겠지만, 나의 이해는 다음과 같다 : 그들은 (C처럼) 절차 여부,

명령형 언어 또는 객체 지향 (Java 또는 C와 같은 ++) 할당 문을 포함하여 계산을 수행합니다. 할당 문은 할당 된 변수를 변경하며 직접 결과로 은 프로그램 상태 인을 변경합니다. 이 명령문 흐름은 제어 흐름이라고하는 것으로 제어됩니다. 제어 흐름은 광범위한 의미에서 프로그램의 다양한 조건부 또는 무조건 부울 점프 (명령문, 루프 등)입니다. 널리 다른 한편 작업에

선언적 언어는, 특히 언어의 하위 장르에 따라 :

예를 들어

• , 함수형 언어 (예 : 계획 및 하스켈 등), 자신의 프로그램이 함수로 구성되는 일련의 표현식으로 작성됩니다. 이 함수는 프로그램에 주어진 입력에 적용되고 출력을 생성합니다. 본질적으로 수학적 의미의 함수처럼 작동합니다 : 도메인의 값을 범위의 값으로 매핑합니다.
• 로직 또는 예컨대 프롤로그 같은 제약 기반 언어는 그 프로그램 사실, 규칙의 시퀀스로서 표현 또는 후 엔진 A (같이 정리 증명)에 의해 처리된다를 쿼리있다.