prolog-toplevel

0熱度

1回答

我有這個prolog謂詞，根據輸入計數計算素數的數量。但是在解釋器，它只能顯示前9個素數，即使我輸入我的要求主要計數爲10 的結果看起來是這樣的，如下 L = [2, 3, 5, 7, 11, 13, 17, 19, 23|...] 然而，當我跟蹤通過使用圖形化調試器，正確的結果實際上已經消失。所以我想知道什麼| ...意味着？

14熱度

4回答

SWI-Prolog的 - 顯示一長串

我使用SWI-Prolog的，我試圖打印清單，但如果列表已經超過9個項目 - 它看起來像 - [1, 15, 8, 22, 5, 19, 12, 25, 3|...] 有一種顯示整個列表的方式？

3熱度

2回答

如何處理prolog列表？

我有謂詞m(L,L)，我希望它返回它需要的列表。的代碼是這樣的： m([],[]). m([H|T],[H|L]) :- m(T,L). 當我嘗試用這個例子中使用它： m([1,2,3,4,5,6,7,8,9,10],L) 我得到這樣一個答案： L = [1, 2, 3, 4, 5, 6, 7, 8, 9|...]. （我注意到，如果我爲什麼會發生這種情況並且列表未完成？我該如何

2熱度

3回答

如何使用地面/ 1？

我是一個完整的初學者，我想知道如何使用ground/1。目前，我有這樣的代碼： intertwine([], [], []). intertwine([E|Es], Fs, [E|Gs]) :- intertwine(Es, Fs, Gs). intertwine(Es, [F|Fs], [F|Gs]) :- intertwine(Es, Fs, Gs). 但是當我嘗試在外殼調用這個：

1熱度

1回答

在Prolog中爲什麼這個查詢返回這個特定的結果

?- assert(p(a)),assert(p(b)),p(X). X = a yes 這個查詢的效果是什麼，它爲什麼返回這個特定的結果？

4熱度

1回答

瞭解規則 - 作爲回答的錯誤

我是Prolog的新手，我只是在想，爲什麼這個規則在一個真實之後給了我一個假結果。 likes(1,banana). likes(1,mango). test :- likes(1,banana),likes(1,mango). ?- test. true; false. 我想知道這背後錯誤的原因。

5熱度

2回答

在SICStus序言/ SWI-Prolog的REPL定義謂詞

我讀http://cs.union.edu/~striegnk/learn-prolog-now/html/node3.html#subsec.l1.kb1，但我有運行下面的謂詞麻煩： SICStus 4.0.1 (x86-win32-nt-4): Tue May 15 21:17:49 WEST 2007 | ?- woman(mia). ! Existence error in user

1熱度

2回答

prolog函數返回內存位置而不是值

剛開始使用prolog編程時，我遇到了一些問題。我所擁有的函數應該取值爲X並將其複製N次。我的函數返回N個內存位置的列表。這是代碼，任何想法？ duple(N,_,M):- length(M,Q), N is Q. duple(N,X,M):- append(X,M,Q), duple(N,X,Q).

1熱度

1回答

學習序言練習2.3

我想通過學習prolog網站嘗試學習一些序言，並試圖站在練習2.3下。我想每次對word（）的調用都會進入某種程度的堆棧，這可以解釋爲什麼它似乎將詞從結尾改回到開頭。但是，如果它改變了一個單詞的話，它又會怎樣呢？像：刑事吃刑事刑事吃了大Kahuna漢堡刑事吃每刑事刑事吃每大kahuna漢堡 word(article,a). word(article,every). word(noun

-1熱度

1回答

修改SWI-Prolg頂層

是否可以對SWI Prolog的頂層進行修改？