LLM 에이전트 논리 추론 설계법
한 줄 요약: Prolog에서 LLM을 llm/2 술어처럼 부르는 실험은 단순한 문법 장난이 아니다. 결정적 추론 엔진과 확률적 언어 모델을 한 시스템 안에서 어디까지 같이 쓸 수 있는지 묻는 설계 문제다. 핵심은 LLM을 논리의 일부로 믿을지, 논리 바깥의 불안정한 제안기로 둘지다. 왜 지금 이슈인가 LLM 에이전트, 테스트 자동화, 인프라 운영 도구가 늘어나면서 개발자들이 다시 묻는 질문이 있다. 자연어 모델을 기존 프로그래밍 언어 안에 함수처럼 넣어도 되는가? 선정 글감인 pllm은 이 질문을 작은 형태로 보여준다. SWI-Prolog에서 llm/2 또는 llm/3를 호출하면 OpenAI 호환 chat/completions 엔드포인트에 프롬프트를 보내고, 응답 문자열을 Prolog 변수와 단일화(unification)한다. ...