任何允許左遞歸的Prolog實現？

Question

我想知道是否有任何允許在子句中使用左遞歸的Prolog實現。我的直覺是，如果實現使用廣度優先目標搜索，它可能支持左遞歸。但我不太確定。請注意，我並不在乎效率。

Answer 1

您的直覺是正確的，但Prolog使用深度優先搜索設計（請參閱SLDNF分辨率here），並有充分的理由，那麼該限制是不容易避免的。

OTOH，Ciao Prolog提供合適的extension。

您可以使用元解釋器模擬廣度優先遞歸，例如對於左遞歸DCG（左遞歸語法是一個常見情況）here，但它通常不是一個簡單的方法。

IMO可以近似/滿足您的請求的最常見擴展是列表，您可以在YAP Prolog，XSB，B-Prolog中找到它。