[논문 리뷰] SWI-Prolog

Jan Wielemaker, Tom Schrijvers외 2명|arXiv (Cornell University)|2010. 11. 24.

Software Engineering Research참고 문헌 28인용 수 5

한 줄 요약

SWI-Prolog는 지식 집약적이고 상호작용적인 응용 프로그램을 위한 통합 플랫폼으로 설계된 커뮤니티 주도형 확장 가능한 Prolog 시스템이다. 이 시스템은 커뮤니티 기여 라이브러리, 가비지 컬렉터, PlDoc, PlUnit와 같은 상용 개선 사항을 결합하며, 외부 자원과 다양한 Prolog 연구 아이디어 사이의 연결 고리로 기능한다.

ABSTRACT

SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for extit{knowledge-intensive} and extit{interactive} systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment). In this article we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between extit{foreign} resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.

연구 동기 및 목표

• 다양한 Prolog 연구와 응용 프로그램을 위한 통합 플랫폼으로서 SWI-Prolog를 제시하기 위해.
• 지속적인 개발을 지원하는 지식 집약적이고 상호작용적인 시스템의 역할을 부각하기 위해.
• 커뮤니티 기여와 상용 기여가 융합된 일관되고 확장 가능한 시스템으로의 통합을 문서화하기 위해.
• 외부 자원과 Prolog 기반 컴포onent 간의 연결 고리로 SWI-Prolog가 어떻게 작동하는지 보여주기 위해.
• 문학적 프로그래밍 기반의 기사 구조를 통해 맥락 경험과 기술적 지침을 제공하기 위해.

제안 방법

• 인터페이스 및 제약 조건(제약 논리 프로그래밍, CLP) 라이브러리와 같은 핵심 기능을 확장하기 위해 커뮤니티 기여를 활용하기 위해.
• 생산 수준의 가비지 컬렉터를 포함한 상용 기여를 통합하여 메모리 관리 향상시키기 위해.
• 도메인 특화 도구 개발: 문학적 프로그래밍 문서화를 위한 PlDoc과 단위 테스팅을 위한 PlUnit.
• 외부(외부의) 자원과의 상호운용성을 설계하여 하이브리드 응용 프로그램 개발을 가능하게 하기 위해.
• 기사 자체를 문학적 프로그래밍 자료로 사용하여 장기적인 유지보수성과 통합 가능성을 입증하기 위해.
• 다양한 연구 프로토타입을 지원하는 유연하고 확장 가능한 플랫폼으로 SWI-Prolog 아키텍처 설계하기 위해.

실험 결과

연구 질문

• RQ1 어떻게 Prolog 시스템이 커뮤니티 및 상용 기여를 융합된 개발 플랫폼으로 효과적으로 통합할 수 있는가?
• RQ2 Prolog 시스템이 지속적인 개발을 위한 지식 집약적이고 상호작용적인 응용 프로그램에 어떻게 기여하는가?
• RQ3 어떻게 Prolog 시스템이 외부 자원과 내부 논리 프로그래밍 컴포넌트 사이의 연결 고리로 작용할 수 있는가?
• RQ4 문서화 및 테스팅 도구의 통합이 Prolog 시스템의 신뢰성과 사용성에 어떻게 기여하는가?
• RQ5 커뮤니티 주도형 개발 모델이 연구 중심 프로그래밍 시스템의 진화와 지속 가능성에 어떻게 기여하는가?

주요 결과

• SWI-Prolog는 연구 프로토타입 개발에 지속적으로 사용되며 안정적인 커뮤니티 주도 플랫폼으로 발전하였다.
• 커뮤니티 기여는 특히 인터페이스 및 제약 논리 프로그래밍(CLPR) 라이브러리 분야에서 시스템의 기능을 크게 확장하였다.
• 상용 기여는 가비지 컬렉터의 구현을 포함한 핵심 인프라를 강화하여 시스템의 안정성을 높였다.
• PlDoc와 PlUnit의 통합은 Prolog 생태계 내에서 코드 유지보수성과 소프트웨어 공학 관행을 향상시켰다.
• SWI-Prolog는 성공적으로 연결 고리 기능을 수행하여 Prolog 컴포넌트와 외부(외부) 시스템 간의 상호운용성을 가능케 하였다.
• 기사의 문학적 프로그래밍 접근 방식은 연구 맥락에서 장기적이고 문서화된 소프트웨어 개발에 적합한 시스템임을 입증하였다.