Prolog 生成列表終止

[英]Prolog Termination of Generated List

上面的表達式在 swi prolog 終端上發布時不會終止。 我試過交換目標的順序。 和 我正在為 x86_64-linux 使用 SWI-Prolog 版本 8.4.3 ...

如果使用 jruby 在線程中運行，活動記錄查詢不會終止

[英]active record query does not terminate if run in thread using jruby

我有一個查詢在 jruby 的一個線程中查找 postgres -tables。 盡管兩個我沒有區別，但活動記錄不會因某些表的某些查詢而終止，盡管它確實會因某些其他表而終止。 我檢查了它是否依賴於這些表的索引，或者它們的結構，但它不，或者我找不到它，僅限於我可以區分的所有結構。 因此，我使用 raw ...

如何在不進入非終止 while 循環的情況下顯示鏈表的元素？

[英]How do you display elements of the linked list, without going into a non terminating while loop?

我正在編寫一個 C 代碼，用於使用 while 循環實現和遍歷鏈接列表。 我無法弄清楚我在代碼中寫錯了什么。 代碼不是在 while (a,=NULL) 中終止並顯示鏈表中的所有元素。它進入了無限循環。 這是代碼...... Output：輸入數據1輸入0結束，1繼續 1輸入數據2輸入0結束，1 ...

如何為有根據的電感類型選擇設計？

[英]How to choose the design for a well-founded inductive type?

在研究有根據的時候，我想看看不同的設計是如何表現的。 例如，對於一個類型： 有根據很容易證明。 但是如果類似的類型定義不同： 很明顯，在這兩種情況下，下降鏈都不是無限的，但在第二種情況下，有根據並不容易證明：不容易證明(y -> y < x -> Acc y)存在於給定的x 。 ...

有根據的遞歸安全嗎？

[英]Is Well-Founded recursion safe?

在關於不終止的問題中， 帶有模糊終止的條款的答案建議求助於<-wellFounded 。 我之前查看了<-wellFounded的定義，令我震驚的是OPTIONS中有一個--safe 。 沒有這個選項就可以工作嗎？ 也就是說，是在使用--safe一些優化，還是在解決一些基本問題？ 所以 ...

帶有模糊終止的條款

[英]With clauses obscuring termination

我正在嘗試在 agda 中定義二進制數，但 agda 看不到⟦_⇑⟧正在終止。 我真的不想打破可訪問性關系。 如何向 agda 顯示 n 變小？ 錯誤： ...

為什么在定義一個轉換兩個原子的關系的謂詞時出現堆棧超出限制錯誤？

[英]Why do i get a stack limit exceeded error when defining a predicate that convert the relation of two atoms?

我想知道為什么在這些情況下程序會以無限遞歸的方式進行： 和 這是代碼： ...

重新排序目標后，Prolog不會終止

[英]Prolog doesn't terminate after goal reordering

我目前正在通過“立即學習Prolog”示例進行研究，對於一個練習 ，如果我對一條規則進行了微小的更改，則我的KB會耗盡本地堆棧。 這是KB： 以及相關規則： 這是有問題的查詢，它用完了堆棧： 但是如果我將規則更改為 然后就可以了。 如果我跟蹤查詢，我會像這 ...

是否有一種無縫的方式來實現same_length / 3？

[英]Is there a cut-less way to implement same_length/3?

假設我想斷言三個列表的長度相同。 我可以這樣做： 當First或Second被實例化時，這是正確的。 當所有三個參數都被實例化時它也可以工作！ 然而，像length(Third, 3), same_length(First, Second, Third)這樣的調用會使它返回正確的答 ...

非終止歸納謂詞

[英]Non-terminating inductive predicates

在Isabelle / HOL中出色的編程和證明中，它說 與遞歸函數相反，歸納定義沒有終止要求。 （pdf第40頁） 這是否意味着可以有無限深的推導樹的歸納定義？ 這種非終止推導（最好是無限高的推導）的例子是什么？ 您如何“構建”這些？ 關於這些的規則歸 ...

Prolog毫無理由地退出本地堆棧

[英]Prolog raises out of local stack for no good reason

我正在嘗試在Prolog中實現Levenshtein距離 。 實現非常簡單： 但是，此代碼因以下錯誤而失敗： 我在Mac OS X Sierra上使用SWIPL實現。 ...

堅定性：定義及其與邏輯純度和終止的關系

[英]Steadfastness: Definition and its relation to logical purity and termination

到目前為止，我一直堅持 Prolog程序意味着： 如果對於一個查詢Q ，有一個subterm S ，這樣有一個長期T ，讓?- S=T, Q.雖然成功 ?- Q, S=T. 失敗 ，然后由Q調用的謂詞之一不是堅定的。 直覺上，我因此堅定地表示我們不能使用實例化來“欺騙”謂詞來 ...

Prolog子句單獨終止，但不一起終止

[英]Prolog clause terminates individually, but not together

所以 工作並終止， 也可以工作並終止。 但是不知何故 不終止。 可能是什么原因？ ...

查找圖中節點之間的路徑及其長度

[英]Find path and its length between nodes in a graph

我正在嘗試解決這個問題，我已經閱讀了這個答案，但我的問題是無限循環，即使我使用了訪問節點列表。 讓我們看看我的兩次嘗試： 這給了我類似的答案，即： 然后 Swi-Prolog IDE 就死機了。 我應該將什么定義為基本情況？ 為什么第二個實現循環，如果是這樣，即使我使用了訪問節點 ...

猴子和香蕉在思考作為計算

[英]Monkey and banana in Thinking as Computation

我正在讀“ Thinking as Computation ”一書，並將代碼編寫為第9.4章： 但我發現該程序永遠不會停止...打印堆棧信息后，我發現goal_state生成無限長度的列表。 我試圖限制has_banana列表的長度 N指plan(L)中L的長度（例如，當查詢p ...

使用Coq中的負歸納類型證明為假

[英]Proving False with negative inductive types in Coq

CPDT的第三章簡要討論了為什么在Coq中禁止負歸納類型。 如果我們有 然后我們可以輕松定義一個函數 因此， uhoh (Abs uhoh)一詞將是非終止的，“我們將能夠證明每一個定理”。 我理解非終止部分，但我不知道如何用它來證明任何東西。 如何使用上面定義的term ...

提示不回來

[英]Prompt does not come back

我嘗試做一些練習-用“表示形式”表示數字，這意味着'0'為零，s（0）為1，s（s（0））為2，依此類推。 我嘗試編寫用於添加“ s數字”的謂詞：謂詞s2int將“ s數字”轉換為int。 當我查詢添加時，它會寫出正確的答案，但提示不會再出現。 有什么問題？ ...

Prolog解析正在耗盡堆棧

[英]Prolog parsing is running out of stack

我有這個代碼 當我投出像np(X).這樣的東西np(X). vp(X). 或者pp(X)獲得一個可能的解析，然后是一個堆棧外錯誤。 當我施放s(X). 我甚至沒有得到解析。 我知道這是因為有一些無限循環運行，但我不能指出它在哪一點上循環。 我認為它可能會因為我的所有變量使用相同 ...

為什么這會導致無限遞歸？

[英]Why is this causing an infinite recursion?

我在序言中有這個程序，在這里我基本上定義了一個人形圖，我需要做一些謂詞，以告訴我哪些人是聯系的，哪些是集團。 這是事實： 這是我的謂詞clique的定義。 它以圖形G和一個人的列表為參數，並嘗試檢查列表中的人是否確實是一群朋友（這意味着謂詞好朋友對列表中的每一對人都是正確的） ...

前言中的2水壺

[英]2-Water jug in prolog

我正在嘗試解決swi-prolog中的2水壺問題：給定2罐容量分別為4和3加侖的水，我想找到在2罐容量為4和0的水壺中獲得2加侖水的步驟。 我使用bfs和dfs在C ++中針對此問題編寫了程序： http : //kartikkukreja.wordpress.com/2013/10/11 ...