確定節はプロローグ

Question

私のような、いくつかの基本的なルールで、プロローグで英語の言語の文法を記述しようとしていますが、文法声明のようなルールの場合：

noun(X, woman(X)) --> [woman]. 
iv(Y, snort(Y)) --> [snorts]. 

私は迷っています。これらはどういう意味ですか？変数Xが繰り返し表示されるのはなぜですか？

Answer 1

noun(X, woman(X)) --> [woman]. 

もちろんの

noun(X, woman(X), A, B) :- A = [woman | B]. 

これと同じであるX変数インスタンス生成を残します。 、（X、Y名詞 -

4：？おそらく、あなたは

noun(X, woman(X), A, B) :- A = [woman, X | B]. 

繰り返し論理変数と同等です

noun(X, woman(X)) --> [woman, X]. 

は、いつものように、統一で同一性を示すことを意図し[女性、1]、Z）。
X = 1, Y =女性（1）
Z = []。

5句（名詞（X、Y）、[女性、1]）。
X = 1, Y =女性（1）。