«logical-purity» 태그된 질문

2
쿼리에서 중복 목표 사용
합니다 (시 @repeat의 제안 (A)의 쿼리 고려) 순수 프로그램 1 ?- G_0. 쿼리가 무슨 소용있는 경우를 것 ?- G_0, G_0.있나요? 각주 1 태 블링이 없으며 (안전하게) 구속 조건이 정상입니다. 주제에 대한 이전 게시물 .
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.