프로그램별 slpg.sf.net

SLPG(반자동 로직 프로그램 생성기)는 경험이 없는 논리 프로그래머가 체계적인 방법론을 사용하여 프롤로그 프로그램을 개발할 수 있도록 돕는 학문적 도구입니다.