在樹的序言中的lambda（會計）或階乘

Question

我有這個測試，我的老師將在prolog和它的樹中使用這些主題之一。 但我不知道如何使用prolog實現它們（因爲我甚至不知道該語言）。 我發現這樣的事情

這僅僅是一個例子：？

下圖顯示爲目標的完整的Prolog派生樹-p（X）。

正如我所說的，這只是序言的樹的例子，我需要的是拉姆達或階乘是如何在序言和其樹。

P.S：這是泰倫斯的功課年代1瓦特普拉特（編程語言設計和實現）在序言

我們的條款，規則，目標和解決方案，爲階乘我是如何得到這些？

Answer 1

http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlch3 - 這應該有助於階乘。

記得階乘是遞歸所以在Java中，這將是這樣的：

public int factorial (int x){ 
if (x != 0){ 
    return x* factorial(x-1); 
} 
else { 
    return 1; 
} 
} 

Answer 2

我認爲你找錯了地方的「因子」或序言「拉姆達」的代碼。谷歌是你看的地方。我花了不到5分鐘時間在Google上查找代碼因子和lambda代碼。 我試圖在這裏發佈代碼，但它說「代碼沒有正確格式化 - 請將所有代碼縮進4個空格」，所以我放棄了。