z(1) --> [].
z(N) --> [0] , z(Nm), {N is Nm+1}.
z(N) --> [1] , z(Nm), {N is Nm+1}.
이것이 제가 지금까지 가지고있는 것입니다. 나는 생성하고 싶다
[0,0]
[0,1]
[1,0]
[1,1]
그러나 대신 [0, 0] 후에 무한 루프로 실행됩니다.
쿼리 할 때
?- z(3, X, []).
항상 N을 정수로 사용하여 술어를 호출하는 경우 다음을 시도 할 수 있습니다.
z(1) --> [].
z(N) --> [0] , {N>1, Nm is N-1}, z(Nm).
z(N) --> [1] , {N>1, Nm is N-1}, z(Nm).
결과:
?- z(3, X, []).
X = [0, 0] ;
X = [0, 1] ;
X = [1, 0] ;
X = [1, 1] ;
false.
이 기사는 인터넷에서 수집됩니다. 재 인쇄 할 때 출처를 알려주십시오.
침해가 발생한 경우 연락 주시기 바랍니다[email protected] 삭제
몇 마디 만하겠습니다