堆棧內存溢出
cost 415 ms
Prolog：永無止境的過程

[英]Prolog : Never Ending Process

我正在嘗試使用 get_coeff_value() 但這個過程永遠不會結束。 命令： get_coeff_value('H', ['H'-5, 'C'-2], Coeff). 我試過 get_val() 和 insert_end() 都完美結束。 但是這個顯示： 命令結果它給了我我正在等待的答案，但 ...

如何在一個 assert/1 語句中斷言多個事實或規則？

[英]How to assert multiple facts or rules in one assert/1 statement?

如果我在 repl，我可以做 那行得通，但不行 或類似的。 有沒有辦法只需要輸入一次“斷言”並傳入多個事實？ 規則的相同問題。 謝謝！ 我嘗試了上面提到的幾種變體來實現這一點，但無法弄清楚如何去做。 還查看了 assert/1 的文檔，但它沒有顯示如何。 ...

Prolog 不同的變量，相同的值

[英]Prolog different variable, same value

如果您查詢例如 output 是 但我的 X 與 Y 完全不同，它們只是碰巧都是 10，所以這樣顯示它似乎不清晰/不合邏輯。 我可以讓它看起來像這樣嗎？： ...

如何寫一個 Prolog 規則來定義謂詞？

[英]How to write a Prolog rule to define a predicate?

這是作業：在 Prolog 程序中，定義了謂詞： mother(M,Y) — M是Y的母親 father(F,X) — F是X的父親編寫 Prolog 代碼實現謂詞： cousins(X,Y) — X和Y是表親 brother_or_sister(X,Y) — X和Y是彼此的兄弟姐妹。 我的嘗 ...

Prolog：我怎么知道每個常量是否與其他常量出現相同的時間？

[英]Prolog: How can I know if each constant appers the same times of the others?

我需要知道一個常數是否與其他常數出現相同的時間。 例如： ?- eq([a, a, a, b, b, b, 1, 1, 1])。 真的。 // 這是真的，因為“a”出現了 3 次，“b”出現了 3 次，“1”出現了 3 次。 ?- eq([a, b, c, b])。 錯誤的。 // ...

Prolog，predicate返回正確的結果，還為假？

[英]Prolog, predicate returns the correct result, but also false?

我發現對於我的大多數謂詞，prolog 找到了多個解決方案，其中一個是正確的結果，另一個是“錯誤的”。 證明： 運行這個給出： 誰能解釋為什么它給出“假”。 此外？ 這是我需要解決的問題嗎？ ...

(gnu) Prolog 帶“或”的語句簡單示例

[英](gnu) Prolog statement with "or" simple example

我與一個相當簡單的 GNU Prolog 示例作斗爭： 我有一個文件（test.pl） 測試時： 通過['test.pl']導入 animal(frogi)返回no ，正如預期的那樣 animal(muki)按預期返回yes animal(roti)返回true? 而不是yes ，這不是我所期望的 ...

當沒有更多結果要顯示時，為什么 SWI-Prolog 不顯示“假”

[英]Why SWI-Prolog doesn't display 'false' when there aren't any more results to show

我正在關注 Prolog 書，目前正在嘗試以下示例。 我的事實是； 我查詢 Prolog 為： 結果是； 為什么 Prolog 最后不顯示“ false ”以表明不再有可能的結果？ 此外，我嘗試了以下查詢。 但它給了我不同的結果，這是出乎意料的，給出了額外的“假”。 你能告訴我這是什么原因嗎？ 我 ...

如何將有限失敗的分支添加到 Prolog 可視化工具？

[英]How add finitely failed branches to a Prolog visualizer?

假設我們想要可視化這個 Prolog 執行。 沒有來自 fidschi 島的目標，也沒有其他異國情調的假設，只有具有默認選擇規則的舊SLDNF ： 但是我們只有一個 Prolog 可視化器，它可以將推導顯示為失敗而不會否定，就像這里一樣。 我們如何提升 Prolog 可視化器以將否定顯示為失敗？ ...

Prolog 的頂層在打印結果時是否使用了錯誤的運算符？

[英]Does Prolog's toplevel use the wrong operator when printing results?

我一直在盯着 Prolog 這樣的頂級結果有一段時間了： 我突然想到：不應該說 因為=是統一，而==是術語相等。 這就是 Prolog真正想說的：這些術語是相等的，（它們微不足道地統一。是未綁定的變量）。 歷史葡萄干的壞案例？ ...

Prolog 在只存在一個時嘗試找到多個解決方案

[英]Prolog tries to find multiple solutions when only one exists

我在https://swish.swi-prolog.org上做了一個基本謂詞ascending/1來檢查列表是否按升序排列。 如果我查詢?- ascending([1, 2, 4, 6]). ： 如，它試圖找到更多的解決方案。 按Next 、 10 、 100或1,000只會返回false ， ...

使用管道（|）時列表中的統一順序

[英]Order of unification in lists when using pipe(|)

我很難弄清楚統一的順序是什么。 我有以下查詢： 這給了我以下結果： 然而，我所期待的是： Prolog 統一條款是否有任何特定順序？ 編輯：我有一種感覺，Prolog an atom with a variable a variable with an atom 。 是這樣嗎？ ...

如何在 prolog 查詢中列出超過 1 個 output？

[英]How to list more than 1 output on prolog query?

想象一下我的兄弟姐妹，我的表兄弟和我，我們的總數是 10。所以我編寫了這段代碼，當我運行它時，它只給了我 1 output。 如何在此查詢中打印所有 X 值（名稱）。 如果可能的話，我怎樣才能改變什么名字是第一位的，或者我如何選擇第三個或第五個名字？ （我的祖父是我祖父的兄弟。） 這是我的代碼和 ...

在 Mac 中輸出 prolog

[英]Outputting prolog in Mac

我在 Mac 上使用 prolog 時遇到問題，我想出了如何使用 SWI-Prolog 運行它，但是當我運行它時，它給出了一個錯誤並且沒有給出預期的輸出 預期輸出：本壘打、巴特 這是我之前提到的錯誤 而不是輸出本壘打，巴特它輸出真 ...

如何從 Prolog 中的咨詢文件中獲取數值？

[英]How to get a numeric value from the consulting file in Prolog?

我對 Prolog 非常陌生，並且正在嘗試編寫一個規則來找到一個有更多錢的人。 我正在咨詢一個看起來像這樣的文件： 下面是我嘗試編寫一個規則來找到有更多錢的人： 這是行不通的。 我有點迷失如何從我正在咨詢的文件中訪問該數值。 很抱歉這個簡單的問題，但我已經嘗試谷歌搜索了一段時間，但沒有成功。 ...

Prolog：存儲操作結果

[英]Prolog: Storing result of an operation

剛開始使用 prolog 進行編程，我遇到了一些問題。 我想將結果存儲在操作中，例如： 我想存儲此操作的結果以便稍后在另一個操作中調用它（就像計算器中的 ANS 或 M 按鈕）。 可能嗎？ ...

SWI-Prolog 使用位移位 CLPFD 報告錯誤答案

[英]SWI-Prolog reporting wrong answer with bitshifts CLPFD

我在一個更大的代碼庫中遇到了這個問題，但將其縮減為一個最小的可重現示例。 這是匯編程序的一些代碼： 組裝時似乎可以工作： 但是在拆卸時似乎失敗了： 這是我的程序中的錯誤還是 Prolog 中的錯誤？ 我將如何解決這個問題？ ...


排序:
質量:
 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM