SWI-Prolog에서 [a | b | c]는 무엇을 평가하나요?

Question

프롤로그의 파이프 연산자는 하나 이상의 원자 머리와 꼬리 목록을 반환합니다. 한 번의 매치에서

?- [a,b,c] = [a,b|[c]]. 
true. 

중첩 여러 파이프이 유사한 수행 할 수 있습니다

?- [a,b,c] = [a|[b|[c]]]. 
true. 

무엇 b와 c 약 문 [a|b|c] 추론을합니까?

편집

지금까지 내가 추론 할 수있는 모든은 다음과 같습니다

?- [a,b,c] = [a|b|c]. 
false. 

나는 답을 찾는 것이 아니라이 경계 쓸모없는 질문에 대답 할 수있는 기술에 더 관심이 있어요.

나는 명확하게, 간단한 할당은 내 질문에 대답 프롤로그 너무 익숙하지 않다
EDIT2 ... (b'|'c)로 진행 정확히 무엇

?- R = [a|b|c]. 
R = [a| (b'|'c)]. 

?

Answer 1

나 '때문에 교수님, 제 대답은 여기에 있습니다.
(오, 그리고 이것이 숙제가 아니라는 것을 확인할 수 있습니다. 연습 시험과 관련이 있습니다.)

구문 [a|b|c]은 실제로 표준 Prolog가 아닌 것으로 보이며, 일부 구현에서는이를 다르게 해석합니다. (내가 이것을 알았다면 나는 그것을 사용하지 않았을 수도있다.)

일부는이를 [a|[b|c]]으로 해석한다. (내가 의도 한대로.)

하지만 (아마 등) SWI 프롤로그와 함께 : 실제로리스트가 될 것 '|' 오히려 같은 '.'보다 사용하여 구성되는 (b '|' c)

?- [a|b|c] = [a|[b|c]]. 
false. 

합니다.따라서 두 번째 |은 목록을 구성하는 일부분으로 해석되지 않습니다.

이를 확인하려면, 다음 성공 :

는

 
    ?- X=(b|c), [a|b|c] = [a|X]. 
    X = (b'|'c) . 

'|' 여기에 단지 '.' 같은 용어에 다른 이항 연산자 것으로 보인다.

[a|b|c] 대신 Prolog의 표준은 [a,b|c]을 사용합니다.

(미래에 내가 [a|[b|c]] 관련된 다음 [a,b|c]을 줄 것 같아요. 나는 단지 좀 더 직접적으로 F 번호의 표기 a::b::c에 관련이 있기 때문에 프로그래밍 패러다임에 [a|b|c]을 사용하기로 결정, 그리고 우리는 단지 프롤로그의 작은 엿볼을 보았다 약어로 사용)

Answer 2

이것은 진술이 아니며 용어이며 아무런 의미가 전혀 없으며 a, b 또는 c입니다. 그것은 단지 부적절한 목록을 구성합니다.

자세히 설명 : [|] 구문은 실제로 .() 연산자에 대한 구문 설탕입니다. 목록은 내부적으로 '.'(a,[])을 통해 생성되지만, 즉시 입력하기가 매우 번거롭기 때문에 [a]을 대신 작성할 수 있습니다. 따라서 . 연산자는 물건과 목록을 취한 다음 더 긴 목록을 작성해야합니다. 그러나 입력이 없기 때문에 아무도 두 개의 원자 또는 다른 쌍에 적용 할 수 없습니다. 결과는 일부 목록 조작이 성공하고 다른 조작이 실패한 구조입니다. 이것은 때로는 유용하지만 (이진 트리를 생각해보십시오), 목록만큼이나 흔하지 않으므로 특별한 읽기 구문이 없습니다.

(거의 같은 리스프에서 cons 연산자 발생;. 당신은 당신이 리스프에 대한 더 많은 결과를 얻을 책임이 있습니다,하지만 원칙은 동일하다 "부적절한 목록을"구글 경우)

Answer 3

ISO-Prolog에서 [a|b|c]은 유효하지 않은 구문입니다. 그리고 그 동안에도 SWI 내에서. 이전 버전을 사용하신 것 같습니다. 일부 Prolog 시스템은이 용어에 약간의 해석을 내 렸습니다. 슬프 도다, 그들은 모두 그 용어를 어떻게 해석했는지 매우 정확하게 다른 점이있다. 일부는 [(a'|'b)|c] 또는 [a|(b'|'c)] 또는 [a|(b;c)] ... 글쎄, 당신이 그것을 얻을.

이와 관련된 것은 삽입 연산자 ('|')/2과 같은 막대의 사용과 관련됩니다.

ISO/IEC 13211-1:1995/Cor.2:2012, Technical Corrigendum 2, 2012-02-15로 게시 됨. 중첩 연산자로 bar |의 사용이 정확하게 정의되었습니다. 그 전에는 |을 인용해야했습니다. 여기 is its draft.

이제 '|'는 중위 연산자 만 [a|b|c] 달리 모호한 경우 잘못된 구문이 계속 이러한 방식으로 상기 우선 순위 (1000)으로 정의되지만 DCGS위한 | CHR의 사용과는 유효 할 수있다.

시도해보고 구문을 익히려면 writeq/1과 write_canonical/1을 사용하는 것이 가장 좋습니다.

ISO-Prolog의 가장 일반적인 구문은 GNU Prolog입니다.