소개
SWI-Prolog은 오픈소스 Prolog 구현체로, 다양한 확장을 제공하는 종합적인 Prolog 환경입니다. SWI-Prolog은 C와 Prolog로 구현되어 있으며, Windows, Linux, macOS 등 여러 플랫폼에서 실행됩니다. 비즈니스 규칙 검증, 자연어 처리, 소프트웨어 검증 등 다양한 분야에서 활용됩니다.
상세정보
확장된 Prolog 언어 지원
표준 Prolog을 넘어 많은 확장을 제공하여 복잡한 로직 프로그래밍 작업을 지원합니다.
다중 플랫폼 지원
Linux(POSIX 계열), macOS, Windows 등 다양한 운영 체제에서 실행 가능하며, Debian Linux가 지원하는 모든 CPU를 지원합니다.
문서 및 도움말 시스템
HTML 및 PDF 버전의 포괄적인 문서가 제공되며, ?- apropos("query")로 문서 검색 및 ?- help(append/3)로 특정Predicate 도움말을 확인할 수 있습니다.
WASM 기반 NPM 패키지
브라우저 또는 Node.js 프로젝트에서 사용할 수 있는 WASM 기반 NPM 패키지도 제공됩니다.
다운로드·설치 방법
공식 웹사이트에서 Windows용 설치 프로그램을 다운로드하여 실행할 수 있습니다. Scoop을 통해 scoop install swipl 명령으로 설치할 수도 있습니다.
기본 사용법/명령어
설치 후 명령 프롬프트에서 swipl을 실행하여 Prolog 셸을 시작할 수 있습니다. 셸 내에서 ?- help.로 도움말을 확인하고, ?- apropos("text")로 기능을 검색할 수 있습니다. Prolog 파일을 로드하려면 ?- consult("filename.pl") 명령을 사용합니다.
이런 경우에 유용합니다
논리 프로그래밍을 배우고자 하는 학생이나 교육자에게 적합하며, 전문가에게는 복잡한 규칙 기반 시스템 개발, 지식 표현 및 추론 작업에 유용한 도구가 됩니다.
지원 환경·시스템 요구사항
Windows 운영 체제에서 실행 가능하며, 64비트(x64) 아키텍처를 지원합니다. 설치 유형은 exe 형식입니다.
시스템 요구사항
별도의 시스템 요구사항이 등록되지 않았습니다.