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搜索它，但这里有太多垃圾和数百万博客张贴破解新手教程到处，基本上没有关于这个主题的真实信息