non-termination

1열

3답변

이 입방체는 가장자리입니다. 왼쪽에서 오른쪽으로, 앞뒤로 그리고 위에서 아래로 갈 수 있습니다. edge(a,b). edge(a,c). edge(a,e). edge(b,d). edge(b,f). edge(c,d). edge(c,g). edge(d,h). edge(e,f). edge(e,g). edge(f,h). edge(g,h). 아

2열

1답변

프롬프트가 다시 돌아 오지 않습니다.

운동을하려고합니다. '0'이 0이고, (0)이 1이고, s (s (0))가 2라는 의미 인 's 표현'의 숫자를 나타 내기 위해 노력합니다. . "s numbers"를 추가하기위한 술어를 작성하려고했습니다 : 술어 s2int가 "s number"를 int로 변환합니다. s2int(0, 0). s2int(s(X), Y) :- s2int(X, Y1)