SWI Prolog

SWI Prolog

SWI-Prolog는 논리적 추론을 수행하는 소프트웨어 프로그래밍을위한 포괄적 인 자유 소프트웨어 프롤로그 환경을 제공합니다.
SWI-Prolog는 논리적 추론을 수행하는 소프트웨어 프로그래밍을위한 포괄적 인 자유 소프트웨어 프롤로그 환경을 제공합니다.그래픽 툴킷 XPCE와 함께 개발은 1987 년에 시작되었으며 실제 응용 프로그램의 요구에 의해 주도되었습니다.요즘 SWI-Prolog는 연구 및 교육뿐만 아니라 상용 응용 분야에도 널리 사용됩니다.
swi-prolog

카테고리

라이센스가있는 모든 플랫폼에서 SWI Prolog를 대체