프로그래밍 언어론 · 15강

논리 프로그래밍 언어

계산하는 순서를 적는 대신 무엇이 참인지를 적는 언어를 봅니다. 참인 것을 기호로 적는 법, 거기서 새 참을 끌어내는 법, 이것을 실제 언어로 만든 Prolog와 그 결점까지 따라갑니다. 프로그래밍을 한 번쯤 해 본 사람을 위해 9편으로 나눴습니다.

  1. 1어떻게 할지 적지 않아도 될까?명령형과 논리 프로그래밍, 선언적 방식
  2. 2참인 것은 어떤 모양으로 적을까?명제, 기호 논리, 복합 항, 사실과 질의
  3. 3명제와 명제는 어떻게 이을까?논리 연산자, 양화사, 절 형식
  4. 4컴퓨터는 어떻게 추론할까?정리 증명, 해결, 단일화, 혼 절, 선언적 의미론
  5. 5Prolog는 무엇으로 적을까?Prolog의 탄생, 항(상수, 변수, 구조), 인스턴스화
  6. 6Prolog 프로그램에는 무엇을 적을까?사실문, 규칙문, 목표문, 이 강의 창고
  7. 7Prolog는 답을 어떻게 찾을까?목표와 부분 목표, 전방·후방 연쇄, 백트래킹
  8. 8계산과 리스트는 어떻게 적을까?is 연산자, 리스트, append, member, reverse
  9. 9Prolog가 못 하는 것은 무엇일까?Prolog의 결점, 15강 정리, 과목 맺음

내용과 예제는 Robert W. Sebesta의 《Concepts of Programming Languages》 12판 16장을 따랐습니다.