ECLiPSe CLP

Eclipse 제약 조건 논리 프로그래밍 시스템 소프트웨어 : ECLiPSe CLP OS : Solaris,Linux,Mac,BSD,Windows 프로그래밍 언어 : Prolog 공식 웹사이트 :