필자는 setof/3 및 bagof/3 술어가 문제의 해결 방법 목록을 생성하는 데 사용될 수 있음을 이해합니다. (Link to gprolog manual). 예상대로 다음 쿼리에 대한 솔루션은 a, b 및 c입니다. ?- nth(_, [a,b,c], X).
X = a ? ;
X = b ? ;
X = c ? ;
yes
그리고 지금 나는
저는 C와 Prolog 코드를 인터페이싱하는 다소 불행한 위치에 있습니다. 우리는 C로 된 데이터 콜렉션 코드와 Gnu-Prolog의 일부 분석 코드를 가지고 있습니다. 그렇다면 C와 gprolog를 인터페이스하는 가장 좋은 방법은 무엇입니까? 저는 현재 gprolog 패키지에 포함 된 C 라이브러리를 사용하여 C에서 Prolog를 호출하려고합니다. 참고