에듀윌 · 함수형 · 논리형
PART D
패러다임 나머지 둘 — 각각 한 줄씩만 잡아도 충분

함수형 · 논리형 종합

함수형 프로그래밍
핵심함수 조합 · 순수 함수 · 불변성
대표LISP(원조 1960) · Haskell · Scala · F#
비유재료 넣으면 같은 요리 나오는 자판기 — 부작용 없음
논리형 프로그래밍
핵심사실(Fact)+규칙(Rule) → 언어가 자동 추론
대표Prolog
비유'김밥=밥+김+재료' 규칙만 주면 결과 스스로 추론
합격 한 줄 — 함정 하나
LISP와 Prolog 모두 인공지능 분야. LISP은 패러다임 함수형이지만 사용 목적 인공지능, Prolog는 논리형이면서 인공지능. "LISP만 인공지능"은 틀린 보기.