PROLOG：運算符什麼是「 - >」

Question

我對prolog很陌生，如果可能的話我想要一些解釋。

究竟是什麼的

「 - >」

序言運營商呢？ 我似乎無法找到一個簡單的直接答案。

，只是一件事...

有什麼區別：提前

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

這

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

的感謝！

Answer 1

Prolog支持定義語句語法符號。 -->實際上是一個更復雜的謂詞的簡稱。如果你輸入：

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

然後做一個listing，你會看到像這樣的：

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

看到這裏，例如：Grammars in Prolog

速記使得它更容易在Prolog中更清楚地表達語法。

Answer 2

它用於語法分析。您應該閱讀this paper about DCG in Prolog