PCGBook의 8 장에서 연습 문제의 코드를 실행하려고합니다. 그들은 clingo를 사용하지만 그들이 사용하는 버전을 말하지 않습니다. Potassco의 sourceforge (4.5.4 버전)에서 Clingo의 최신 버전을 다운로드하면 렉서 오류가 발생합니다. 나는 Gringo 3와 Gringo 4 사이에서 문법이 바뀌었기 때문이라고 생각합니다. Potassco 웹 사이트에서는 Gringo의 두 가지 버전을 모두 다운로드하여 수정하는 구제책을 말했지만, Clingo와 함께 프로그램을 운영하고 있습니다. 나는 Gringo 3.0.0을 다운로드하고 gringo.exe를 대체했지만, clingo.exe는 Gringo의 최신 버전으로 컴파일되었습니다.클링 군 4.5와 그레고리 3의 사용
클링고의 최신 버전 또는 최신 호환 버전을 Gringo 3과 함께 어떻게 다운로드합니까?
클링 고는 그라운드 드레그 잉과 솔버 버클의 조합과 일부 추가 기능입니다. 버전 별 gringo 3.x와 clasp 2.x는 함께 사용되며 gringo 4.x와 clasp 3.x는 함께 사용됩니다. Clingo는 외국인의 버전을 따른다. 그래서 clingo 4.x는 외국인 4.x와 3.x를 결합한다.
당신은 여기에서 외국인 3.x를 구문 지원하는 최신 clingo 버전을 얻을 수 있습니다 : https://sourceforge.net/projects/potassco/files/clingo/3.0.5/
는 다른 방법 버클 2.x에서이 팁으로하여 외국인 3.x를 https://sourceforge.net/projects/potassco/files/clasp/2.1.5/
와 함께 갈 얻을 수 있습니다 --mode=<arg> 스위치를 사용하면 항상 다른 모드에서 clingo를 실행할 수 있습니다. 인수 옵션은 clingo, clasp 및 gringo입니다. 이것은 현재 정말로 clingo 3.x와 4.x가 설치 될 필요가 있음을 의미합니다. 창에서 예를 들어 수 있습니다. 3.x 버전의 이름을 clingo3.exe로 바꿉니다.