설치 없이 USB에서 바로 쓸 수 있나요?

네, 받는 파일이 설치 없이 실행되는 포터블 판 exe예요. USB에 담아 다른 PC에서 실행해도 같은 방식으로 콘솔이 열려요. 작업 파일도 같은 폴더에 두면 경로 문제가 줄어요.

Prolog를 처음 배우는데 무엇부터 하면 좋나요?

?- 프롬프트에 사실 하나를 넣어 답을 확인하는 데서 시작해요. family.pl 같은 작은 파일을 consult로 불러 규칙 질의까지 해 보면 흐름이 잡혀요.

이 배포 파일은 64비트용이에요. 32비트나 예전 윈도우 사용자는 안내되는 예전 배포 파일을 확인해야 해요.

SWI-PrologSWI-Prolog Portable

설치 없이 실행(포터블)

이모지세이브 팀작성 2026.10.25

SWI-Prolog 다운로드 페이지에서는 설치 없이 쓰는 포터블 판 exe 파일을 받아요. 논리 프로그래밍 언어 Prolog를 USB나 원하는 폴더에 두고 바로 실행할 수 있어요.

실행 파일을 누르면 ?- 프롬프트가 있는 콘솔이 열려요. 사실과 규칙을 적은 파일을 불러 질의를 넣으면 답이 차례로 나와요.

콘솔을 닫았다가 USB를 다른 PC에 꽂아도 같은 폴더에서 이어 쓸 수 있어요. 교재 예제를 그대로 옮겨 적으며 규칙이 이어지는 모습을 확인하기 좋아요.

받은 exe 파일은 설치 과정 없이 바로 실행하는 포터블 판이에요. 원하는 폴더나 USB 안에 두고 SWIPrologPortable.exe를 누르면 콘솔이 열리고 ?- 프롬프트가 나타나요.

프롬프트 뒤에 질의를 적고 마침표를 찍으면 그 줄이 실행돼요. 질의는 한 줄에 하나씩 넣어요. parent(tom, bob). 을 넣으면 true. 가 돌아와요.

작업 파일은 실행 파일과 같은 폴더에 두면 경로를 찾기 쉬워요. USB를 뽑기 전에 콘솔을 닫으면 다음 PC에서도 같은 자리에서 이어 갈 수 있어요.

텍스트 편집기로 family.pl 파일을 만들고 사실을 적어요. parent(tom, bob). 과 parent(bob, ann). 을 줄마다 넣고 grandparent(X, Z) :- parent(X, Y), parent(Y, Z). 규칙을 더해요.

콘솔에서 consult('family.pl'). 로 불러오면 규칙이 준비돼요. grandparent(tom, Who). 를 넣으면 Who = ann 이 보여요. 질의는 마침표로 끝내야 실행돼요.

답이 여러 개면 세미콜론으로 다음 답을 찾고 엔터로 탐색을 끝내요. 한 번 불러온 규칙은 콘솔을 닫을 때까지 그대로 남아 있어요.

use_module(library(clpfd)). 를 입력하면 정수 영역 제약을 다루는 CLP(FD)가 준비돼요. 불리언은 CLP(B), 실수는 CLP(QR)로 같은 방식이에요.

스도쿠나 N-퀸처럼 후보를 좁히는 문제를 짧은 코드로 표현할 수 있어요. 멀티스레딩으로 여러 엔진을 동시에 돌리고 공유 데이터베이스에 접근할 수 있어요.

trace. 로 단계별 추적에 들어가고 notrace. 로 나와요. 어느 규칙을 지나 어디서 실패했는지 차례로 볼 수 있어요. 소스 디버거와 프로파일러, 커버리지 분석 도구도 기본으로 들어 있어요.

실행 환경은 Windows 10, 11 64비트예요. 32비트나 예전 윈도우는 안내되는 예전 배포 파일을 확인해야 해요. 콘솔 중심이라 프롬프트 입력 방식에 먼저 익숙해지면 좋아요.

HTTP 서버 라이브러리와 DCG 파서로 웹 서비스도 만들 수 있어요. C/C++, Java, Python과 양방향 연동도 돼요. XPCE GUI 툴킷이 들어 있어 창과 다이얼로그를 Prolog로 만들 수 있어요.

Simplified BSD 라이선스 기반 오픈소스로 안내되어 있어요. 한국어 학습 자료는 영어권보다 적은 편이라 예제를 직접 돌려 보며 익히는 편이 빨라요.

설치 없이 USB에서 바로 쓸 수 있나요?: 네, 받는 파일이 설치 없이 실행되는 포터블 판 exe예요. USB에 담아 다른 PC에서 실행해도 같은 방식으로 콘솔이 열려요. 작업 파일도 같은 폴더에 두면 경로 문제가 줄어요.
Prolog를 처음 배우는데 무엇부터 하면 좋나요?: ?- 프롬프트에 사실 하나를 넣어 답을 확인하는 데서 시작해요. family.pl 같은 작은 파일을 consult로 불러 규칙 질의까지 해 보면 흐름이 잡혀요.
32비트 윈도우에서는 실행되지 않나요?: 이 배포 파일은 64비트용이에요. 32비트나 예전 윈도우 사용자는 안내되는 예전 배포 파일을 확인해야 해요.