EZASP ASP 학습을 돕는 VS Code 확장

본 논문은 선언형 논리 프로그래밍 언어인 Answer Set Programming(ASP)의 학습 장벽을 낮추기 위해 제안된 Easy ASP 방법론을 실제 개발 환경에 적용한 VS Code 확장 프로그램 EZASP를 상세히 소개한다. 서론에서는 ASP가 복합 조합 최적화 문제를 선언적으로 모델링할 수 있는 강력한 도구임을 강조하면서도, 프로그램 구조가 자유롭고 명령형 언어와 사고 방식이 달라 초보자가 진입하기 어렵다는 점을 지적한다. 이를 해결하기 위해 기존 연구에서 제시된 Easy ASP는 ‘Austere ASP’라는 제한된 구문 집합(사실, 선택, 정의 규칙, 무결성 제약)과 ‘guess‑define‑test’ 패러다임에 기반한 논리적 층화(stratification)를 강제한다. 그러나 Easy ASP를 실제 코딩에 적용하려면 수동으로 프로그램을 재배열하고, 층화 위반을 검증해야 하는 부담이 남아 있었다. 본 논문은 이러한 문제를 해소하고자 EZASP를 설계·구현하였다. EZASP는 JavaScript 기반으로 개발되었으며, VS Code용 Answer Set Programming Language Support와 Syntax Highlighter 두 개의 선행 확장에 의존한다. 설치 시 자동으로 종속성을 해결하고, 사용자는 프로젝트 루트에 JSON 형식의 설정 파일을 생성해 각 기능을 켜고 끌 수 있다. 기능 면에서 EZASP는 네 가지 핵심 요소를 제공한다. 첫째, 파싱 단계에서 Clingo 구문을 그대로 받아들여 비안전 변수, 구문 오류, 선언 오류 등을 실시간으로 하이라이트한다. 둘째, 프로그램 내부에 존재하는 ‘Facts → Choices → Definite Rules → Constraints’ 순서를 검사하고, 순서 위반 시 경고를 표시한다. 셋째, 사용자가 원할 경우 자동 재배열 기능을 통해 프로그램을 올바른 순서와 층화 구조로 재구성한다. 이때 재배열 알고리즘은 기존 규칙 간의 의존 관계를 분석해 가능한 최소 변경으로 레이어를 재배치한다. 넷째, 층화 검증 모듈은 의존 그래프를 구축해 부정적 의존(not q)이 존재하는 경우 q가 p보다 낮은 레이어에 정의돼야 함을 확인한다. 위반 시 해당 규칙에 경고 아이콘과 설명을 부착한다. 또한 EZASP는 선택 규칙(choice rule), 최적화 구문(#minimize/#maximize), show 구문 등 ASP 전반에 걸친 다양한 구문을 색상으로 구분해 가독성을 높인다. 사용자는 설정 파일을 통해 특정 구문 강조를 비활성화하거나, 안전성 검사만 별도로 켤 수 있다. 평가에서는 3학년 컴퓨터 과학 전공 학생 30명을 대상으로 사전·사후 테스트와 설문을 진행하였다. 실험 결과, EZASP 사용 후 평균 코드 오류(구문 오류·비안전 변수·층화 위반)가 42 % 감소했으며, 문제 해결에 소요되는 시간은 35 % 단축되었다. 특히 초보자는 자동 재배열과 실시간 경고 덕분에 프로그램 구조를 스스로 파악하기 쉬워졌고, 숙련자는 불필요한 경고를 끄고 최적화 구문 강조만 활용해 작업 효율을 유지했다. 설문 응답에서는 87 %가 “EZASP가 ASP 학습에 큰 도움이 되었다”라고 답했으며, 78 %는 “향후 프로젝트에서도 계속 사용할 의향이 있다”는 긍정적인 의견을 제시했다. 결론적으로, EZASP는 Easy ASP가 제시하는 구조적 가이드라인을 IDE 수준에서 자동화·시각화함으로써, ASP 초보자의 학습 곡선을 크게 완화하고, 교육 현장에서 실습 효율을 증대시킨다. 향후 연구에서는 더 복잡한 ASP 확장(예: 외부 함수, 다중 파일 프로젝트)과 통합 디버거, 그리고 대규모 사용자 데이터를 기반으로 한 적응형 피드백 시스템을 추가 개발할 계획이다.