uwenku
태그 목록
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). 아
prolog
non-termination
clpfd
2012-10-29
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)
prolog
successor-arithmetics
non-termination
2015-01-07
최근 질문
1.
HTML 형태로 제출 버튼을 같이 FontAwesome 아이콘을 사용하는 방법
2.
웹 확장 : firefox android의 업데이트 메뉴
3.
Htaccess 다른 URL에 대한 경로가있는 지정된 URL 리디렉션
4.
선언 파일에 mixins 설명하기
5.
지도에 추가하지 않고 GeoJSON의 경계를 계산하는 방법
6.
response.chartAt (0)이 내 AJAX 호출에서 정의되지 않은 값을 반환하는 이유는 무엇입니까?
7.
아마도 내 ClickPager의 레이아웃 중 하나에서 onClick
8.
maven 프로젝트에서 java annotation processor를 제거 할 수 없습니다.
9.
어떻게 배열을 통해 반복하고 jquery에서 항목을 동적으로 생성 할 수 있습니까?
10.
자바 스크립트가 올바르게 인쇄 서브 테이블 값, 오류를