t****a
发帖数: 1212 | 1 他的论文
http://pqdtopen.proquest.com/#abstract?dispub=3380156
对clojure中core.logic有相当影响
https://github.com/clojure/core.logic
logic programming似乎现在是clojure社群关心的重心之一
教主的datomic似乎也是logic programming |
E*****m
发帖数: 25615 | 2 core.logic 真是個奇怪的東西， 看半天搞不懂，
以為是 Prolog, 看起來又不像。 |
t****a
发帖数: 1212 | 3 刚查了一下这位牛人，他在Friedman，也就是王银曾师从的大牛，scheme的作者手下做
postdoc。和Friedman合著The reasoned scheme。
今天Clojure/West下午的主题多和core.logic有关。我没用过，不过看起来和cascalog
语法有些相似。看起来很像类SQL的查询语言，但是要更加灵活。今天下午的talk中有
个做fraud detection的公司似乎在用这个做data mining。
教主的Datomic好像是值得看的东西。似乎已经把多种数据源比如sql数据库，amazon
dynamo db等接口抽象好了。
这里有懂Datomic的同学能给个介绍吗？ |
t****a
发帖数: 1212 | |
E*****m
发帖数: 25615 | 5 多謝樓主， 你提起這個我又去看了一下 core.logic，
看來可能有用， 只是還是挺 awkward 的，不如
Prolog 這樣乾淨漂亮。 |
t****a
发帖数: 1212 | 6 还没来得及学呢。等学会了用用看再向你请教。
【在 E*****m 的大作中提到】
: 多謝樓主， 你提起這個我又去看了一下 core.logic，
: 看來可能有用， 只是還是挺 awkward 的，不如
: Prolog 這樣乾淨漂亮。
|
E*****m
发帖数: 25615 | 7
我也不知道能說什麼， 原來想讓你先看看 Prolog, 不過
你學會 Prolog 以後可能看 core.logic 會和我一樣感覺彆扭。
Datomic 要錢的 （我猜 free version 做不了什麼）， 恐怕
很難流行。
【在 t****a 的大作中提到】
: 还没来得及学呢。等学会了用用看再向你请教。
|
