한줄평
“표준을 따르는 프롤로그 환경을 찾는 학습자·연구자께 적합합니다. 아직 발전 중인 프로젝트라 일부 기능은 성숙한 상용 구현에 못 미칠 수 있습니다.”
이런 분께 표준 프롤로그를 배우거나 실험하려는 분께
좋은 점
- ISO 표준에 충실한 현대적 구현
- 러스트 기반으로 안정적이고 이식성 좋음
아쉬운 점
- 성숙한 상용 프롤로그보다 라이브러리·도구가 적다
스크라이어 프롤로그 소개
대부분 러스트로 작성된 현대적인 프롤로그 구현체입니다. 논리 프로그래밍 언어 프롤로그의 표준(ISO)에 충실하면서도 최신 기법을 반영해, 명령줄에서 프로그램을 불러오고 질의를 실행하는 방식으로 동작합니다. 언어 학습이나 논리·제약 문제 풀이에 쓰기 좋은 CLI 처리계입니다.
