SeaLion: ASP 개발자를 위한 통합 개발 환경

본 논문은 ASP(Answer‑Set Programming) 개발을 지원하기 위해 설계·구현된 통합 개발 환경(IDE)인 SeaLion의 현재 상태와 주요 기능을 상세히 기술한다. SeaLion은 Eclipse 플랫폼 위에 구축된 플러그인 형태의 IDE로, Gringo와 DLV 두 주요 ASP 언어를 동시에 지원한다는 점에서 기존 APE(Gringo 전용), ASPIDE(DLV 전용), iGROM(부분 지원)과 차별화된다. 먼저, SeaLion의 설계 목표와 배경을 살펴보면, 최근 ASP 솔버(Clasp, DLV 등)의 성능·표현력 향상에도 불구하고, 개발 단계에서의 도구 부족이 ASP 보급을 저해하고 있다는 점을 지적한다. 이를 해결하기 위해 SeaLion은 사용자 친화적인 편집·디버깅·테스트·시각화 기능을 제공하고, 향후 확장을 위한 API와 플러그인 구조를 갖춘다. 아키텍처는 크게 네 개의 Eclipse 플러그인으로 구성된다. (i) 메인 플러그인 – UI와 핵심 로직, (ii) ANTLR 파서 어댑터 – Gringo·DLV 문법을 파싱, (iii) 솔버 플러그인 – Gringo/Clasp와 DLV 연동, (iv) Kara 플러그인 – 해석 시각화·편집. 파서는 ANTLR 기반으로 구현되었으며, 솔버 파서보다 관용적인 오류 허용 정책을 적용한다. 예를 들어, 변수 대신 상수가 사용된 경우에도 파서는 AST를 생성하고, 이후 단계에서 명시적인 타입 검사를 통해 오류를 보고한다. 또한, 주석을 AST에 보존해 자동 변환 시 메타데이터로 활용할 수 있다. 편집기 기능은 두 단계의 구문 강조와 풍부한 어노테이션을 제공한다. 첫 단계는 토큰 기반 빠른 색칠이며, 일정 시간 입력이 없으면 전체 코드를 파싱해 프로그램 모델을 구축한다. 두 번째 단계에서는 모델 정보를 활용해 리터럴의 역할(조건, 헤드, 바디 등)에 따라 색을 다르게 적용한다. 커서가 특정 리터럴 위에 있을 때 동일 프레디케이트·변수·상수의 모든 등장 위치를 하이라이트하고, 스크롤 바 옆에 마커를 표시해 전체 문서에서의 분포를 시각적으로 보여준다. 메타 명령어 체계도 도입되었다. ‘%!’ 로 시작하는 라인 메타 명령어와 ‘%*!’·‘*%’ 로 감싸는 블록 메타 명령어를 통해 규칙에 이름을 부여하거나 속성을 지정할 수 있다. 현재는 규칙 이름 지정이 지원되며, 이는 외부 디버깅 도구와 연동해 비지니스 로직을 추적하는 데 활용된다. 이러한 메타 정보는 Eclipse의 Outline View에 반영돼 트리 구조로 프로그램을 탐색할 수 있다. 외부 도구 연동은 Eclipse의 Launch Configuration 프레임워크를 활용한다. 사용자는 Gringo, Clasp, DLV 등 실행 파일 경로와 기본 옵션을 정의하고, 필요 시 파이프라인 형태로 연결한다. 예를 들어, Gringo와 Clasp를 별도 실행해 파이프라인을 구성하거나, DLV 단일 실행을 설정할 수 있다. 실행 결과는 두 가지 방식으로 처리된다. 첫 번째는 Eclipse 콘솔에 그대로 출력하는 것이고, 두 번째는 전용 Interpretation View에 파싱해 트리 형태(Interpretation → Predicate → Literal)로 시각화하는 것이다. 이 뷰는 해석 간 비교를 위해 여러 트리를 가로로 배치할 수 있으며, 드래그‑앤‑드롭으로 선택된 리터럴을 사실(fact) 형태로 소스 코드에 삽입하는 기능을 제공한다. 시각화·편집 플러그인 Kara는 ASPVIZ·IDPDraw와 유사한 시각화 파이프라인을 구현한다. 사용자는 시각화 프로그램 Π_V(ASP 프로그램)와 해석 I를 결합해 그래픽 결과를 얻으며, SeaLion에서는 이 과정을 Eclipse 플러그인 형태로 제공한다. 현재는 기본 시각화만 지원하지만, 향후 그래픽 요소의 직접 편집·추가 기능을 확대할 계획이다. SeaLion의 확장성을 위해 언어별 차이를 최소화하는 설계가 적용되었다. Gringo와 DLV의 리터럴, 집합, 최적화 구문을 각각 전용 클래스로 구현하되, 공통 인터페이스와 추상 클래스를 상속한다. 이를 통해 새로운 ASP 파서(예: WASP, Potassco)나 언어 확장이 필요할 때 기존 기능을 재사용할 수 있다. 또한, 기능별로 독립적인 플러그인 구조를 채택해 향후 기능 추가·수정이 용이하도록 설계되었다. 현재 SeaLion은 알파 버전으로, Gringo·DLV의 대부분 문법을 지원하고, 편집·디버깅·시각화 기본 기능을 제공한다. 그러나 최신 Gringo·DLV 문법 전부와 고급 기능(자동 리팩터링, 테스트 프레임워크, 대규모 프로젝트 관리 등)은 아직 구현되지 않았다. 향후 베타·정식 버전에서는 이러한 기능을 보강하고, 성능 최적화와 사용자 경험 개선을 목표로 한다. 결론적으로, SeaLion은 ASP 개발자를 위한 통합 환경을 제공함과 동시에 Eclipse의 풍부한 생태계를 그대로 활용한다. 이는 ASP 초보자뿐 아니라 기존 Eclipse 사용자에게도 친숙한 개발 환경을 제공하며, 향후 다양한 플러그인·도구와의 연계 가능성을 열어준다.