我对prolog很陌生,如果可能的话,我想解释一下。
究竟是什么
“-->”
prolog 运算符呢?我似乎找不到一个简单直接的答案。
还有一件事......
有什么区别:
phrase--> noun(X),
verb(X).
和这个
phrase:- noun(X),
verb(X).
提前致谢!
Prolog 支持定句语法的表示法。这-->
实际上是更复杂谓词的简写。如果你输入这个:
foo --> noun(X), verb(X).
然后做一个listing
,你会看到这样的东西:
foo(A, B) :-
noun(X, A, D),
verb(X, D, B).
例如,请参见此处:Prolog 中的语法
简写使得在 Prolog 中更容易更清楚地表达语法。
它用于语法分析。您应该在 Prolog 中阅读有关 DCG 的这篇论文