논리형 언어

논리형 언어

논리형 언어는 기호 논리 형태의 규칙과 사실을 정의하는 방식으로 동작하는 프로그래밍 언어입니다.
선언형 프로그래밍 패러다임을 따르며, 주어진 사실과 규칙을 기반으로 새로운 사실을 유추하거나 질의를 수행합니다.

논리형 언어가 필요해진 이유는 명령형 언어의 기계 친화적인 특성 때문에 프로그래머가 더 사람 친화적이고 추상화된 언어를 원하기 시작했기 때문입니다.
논리형 언어를 사용하면 미리 관계 규칙을 선언하고 값을 입력하면 답이 나오는 구조로 동작하게 됩니다.

예를 들어, "저는 전남대 교수입니다."라는 사실을 선언한 후, 규칙들을 서술하고, 규칙이 맞는지 확인하면서 프로그램을 작성할 수 있습니다.

• 예시
  • 저는 전남대 교수입니다.
  • 규칙들을 서술해서, 규칙이 맞아? 이게 맞아? 했을 때?
  • 미리 관계 규칙을 선언하고, 값을 입력하면 답이 나오는 구조

실제로 함수형 언어에 최적화된 컴퓨터 시스템 구조도 만들어졌습니다.
리스프 머신과 같은 폰 노이만 구조를 벗어난 머신들이 생겨나며 논리형 언어의 활용성과 효율성이 높아졌습니다

레퍼런스

• 명령형 언어
• 함수형 언어