PROLOG : 운영자가 무엇입니까 "->"

Question

저는 프롤로그에 상당히 익숙하며 가능하면 뭔가에 대한 설명을 원합니다. "->"를

를 정확히 무엇을

프롤로그 연산자는 무엇입니까? 나는 그것에 대해 쉬운 대답을 찾을 수없는 것 같습니다.

단 한 가지 더 ... 사이의 차이가 무엇

: 사전에

phrase--> noun(X), 
verb(X). 

이

phrase:- noun(X), 
verb(X). 

감사합니다!

Answer 1

Prolog는 Definite Clause Grammars의 표기법을 지원합니다. -->은 실제로 더 정교한 술어에 대한 짧은 손입니다. 이 입력하는 경우, 예를 들어, 여기를 참조하십시오

foo(A, B) :- 
    noun(X, A, D), 
    verb(X, D, B). 

:

foo --> noun(X), verb(X). 

을 다음 listing을,이 같은 것을 볼 수 있습니다 Grammars in Prolog이

속기가 더 쉽게 프롤로그에서 문법을보다 명확하게 표현할 수 있습니다.

Answer 2

구문 분석에 사용됩니다. this paper about DCG in Prolog

을 읽어야합니다.