1. 首頁
  2. 問答
  3. PROLOG - 可變無預警（無抑制）

PROLOG - 可變無預警（無抑制）

2017-04-23 22 views
0

我想弄清楚的可能性，下面的語句轉換成術語（沒有關係），但沒有辛格爾頓變量的警告：PERSON而編制。PROLOG - 可變無預警（無抑制）

亞歷克斯喜歡每個喜歡冰淇淋的人。

我的以下邏輯得到我希望它刪除的單身警告。代碼工作正常，但。

likes(alex,likes(Person,icecreams)).

來源

2017-04-23 Imam Bux

+0

爲什麼這個代碼「做工精細，雖然」？ – false

+0

當我執行查詢：喜歡（亞歷克斯，喜歡（瑪根，冰淇淋））。它的計算結果爲真，可以是任何其他名稱，變量。我認爲它工作正常。任何建議將不勝感激。 –

+1

'likes（alex，Person）： - likes（Person，icecreams）.'對我來說更爲正確。 – Rafalon

回答

0

下面給你一樣你嘗試沒有警告：

likes(alex,likes(_,icecreams)).

來源

2017-04-23 17:15:06 Rafalon

+0

太棒了！正是我想要的。 –

相關問題

 相關問題