clojure-core.logic

1熱度

1回答

根據維基百科，序言使用SLD Resolution。在core.logic中推動求解的主要算法是什麼？

3熱度

1回答

我珍玩，如果有可能（如果有的話應該怎麼一個實現）像 string-containso 在core.logic。用法的例子會是這樣的提前 (db-rel person x) (def database (db [person "John"] [person "Jane"] [person "Jim"] [person "Dan"]

0熱度

1回答

當值刪除

對於檢查選定值我使用這個jQuery自動完成組合框插件事件： $("#combobox1").combobox({ select: function (event, ui) { var value=$("#combobox1 option:selected").text(); ... }); 我如何檢查是否從輸入值被刪除（如爲空）？

1熱度

1回答

在clojure.core.logic中是否有一個合乎邏輯的for-all？

我試圖解決Smullyan的第一個難題，用clojure.core.logic模擬一隻知更鳥，不是因爲它特別困難，而是因爲它是一個練習。這個難題表明，有一個花園有三種顏色的花朵：紅色，黃色和藍色。每種顏色至少出現一次，無論你選擇哪種花，都會出現紅色和黃色。問題：第三是必然的藍色？的邏輯代碼的基本骨架是相當簡單： (run 5 [flowers] (counto flowers 3)

2熱度

2回答

MiniKanren是否有「不」操作符？

MiniKanren有沒有「不」操作符？例如，如何將一個代表的Prolog的 a :- b, not(c) a爲真，如果b是真實的，c不是（Prolog使用否定爲失敗，即not(c)被認爲是成熟的，如果c不能被證明） Prolog's not也適用於非基礎表達式，eg a(X, d(Y)) :- b(d(X), d(Y)), not(c(d(X)))

1熱度

3回答

VIM每行替換在同一行基於另一個字一個字

我怎麼能實現在VIM以下 substitute/regex_this_word/regex_with_another_word_from_the_same_line 如 select "ali" as name where _placeholder = _placeholder union select "sam" as name where _placeholder = _placeho

0熱度

1回答

free（）的內存初始化爲0

int main() { int *p,*q; p=(int *)malloc(sizeof(int)); *p=5; free(p); } 當我檢查free(p)語句的執行後分配到p的內存地址，我觀察到的內存內容爲0。這是正確的行爲，因爲我已閱讀，free不會將內存初始化爲0？

0熱度

1回答

如何在core.logic中建模訂單關係？

我正在嘗試使用核心邏輯對一組有限的任務之間的順序關係進行建模。這是我到目前爲止有： (def tasks [:t0 :t1 :t2]) (defn tasko [x] (membero x tasks)) (db-rel before-fact x y) (def facts (db [before-fact :t0 :t1] [before-fa

0熱度

1回答

Core.logic可以直接從Java使用嗎？

是否有可能從Java代碼中有用地使用core.logic？如果是這樣，將非常感謝一個簡單的例子。如果沒有，有人可能會指向純Java的替代方案嗎？

2熱度

2回答

計算三維空間中的地形高度

我正在潛入3D編程中，目前正在學習編寫一個基於高度圖生成地形的程序地形生成器。我也想實現一些物理和我的第一次嘗試在地形碰撞是通過簡單地檢查當前位置與高度圖。然而，這對於小物體無法很好地工作，因爲您必須通過獲取物體的最近頂點的高度差來計算高度，並且這樣做每次檢查都很慢。 Beleive me我試着用google搜索它，但這裏有太多垃圾和數百萬博客張貼破解新手教程到處，基本上沒有關於這個主題的真實信息