Re: [GSoC 2013] core.logic CLP(Prob)

2013-04-26 Thread Edmund
Fantastic - thanks for pointing these out. On Friday, 26 April 2013 08:43:07 UTC+1, Zack Maril wrote: > > Nils also wrote his work up: > http://ozk.unizd.hr/proceedings/index.php/els/article/view/102/106 > -Zack > > On Friday, April 26, 2013 6:33:55 AM UTC+4, Maximilien Rzepka wrote: >> >> For the

Re: [GSoC 2013] core.logic CLP(Prob)

2013-04-26 Thread Zack Maril
Nils also wrote his work up: http://ozk.unizd.hr/proceedings/index.php/els/article/view/102/106 -Zack On Friday, April 26, 2013 6:33:55 AM UTC+4, Maximilien Rzepka wrote: > > For the sake of completion ;) > > Nils Bertschinger's work > https://github.com/bertschi/ProbClojureNice > https://group

Re: [GSoC 2013] core.logic CLP(Prob)

2013-04-25 Thread Maximilien Rzepka
For the sake of completion ;) Nils Bertschinger's work https://github.com/bertschi/ProbClojureNice https://groups.google.com/forum/?fromgroups=#!topic/clojure/9NhsFga4D9s Le mercredi 24 avril 2013 11:34:14 UTC+2, Zack Maril a écrit : > > Lately, I've been on a bit of a jag into probabilistic p

Re: [GSoC 2013] core.logic CLP(Prob)

2013-04-25 Thread Michał Marczyk
I've actually taken a stab at porting slpKanren; I think there was something I wanted to tweak, so I'll take another look at the code, do the tweaking (if any) and post it sometime soon. (I'm a bit overloaded this week, so it might take longer than it otherwise would...) Probabilistic programming

Re: [GSoC 2013] core.logic CLP(Prob)

2013-04-25 Thread David Nolen
On Thu, Apr 25, 2013 at 5:29 AM, Martin Forsgren wrote: > What are your thoughts on slpKanren? Could it be used as a base for > probabilistic programming in core.logic? > https://github.com/webyrd/slpKanren > > - Martin > It's definitely worth taking a look at and assessing. It does have the bene

Re: [GSoC 2013] core.logic CLP(Prob)

2013-04-25 Thread Martin Forsgren
What are your thoughts on slpKanren? Could it be used as a base for probabilistic programming in core.logic? https://github.com/webyrd/slpKanren - Martin Den onsdagen den 24:e april 2013 kl. 17:34:05 UTC+2 skrev David Nolen: > > This is great, thanks for the thoughts, gist & links! > > > On Wed,

Re: [GSoC 2013] core.logic CLP(Prob)

2013-04-24 Thread David Nolen
This is great, thanks for the thoughts, gist & links! On Wed, Apr 24, 2013 at 5:34 AM, Zack Maril wrote: > Lately, I've been on a bit of a jag into probabilistic programming with > Clojure, specifically embedding Church inside of Clojure. The results so > far are promising from a syntactic leve

Re: [GSoC 2013] core.logic CLP(Prob)

2013-04-24 Thread Zack Maril
Lately, I've been on a bit of a jag into probabilistic programming with Clojure, specifically embedding Church inside of Clojure. The results so far are promising from a syntactic level, but, like David said, getting it to actually work is another matter entirely. I wanted to share what I've be

Re: [GSoC 2013] core.logic CLP(Prob)

2013-04-23 Thread David Nolen
On Tue, Apr 23, 2013 at 2:10 PM, Radosław Piliszek wrote: > 1) Is this place the best to discuss this? > Yes. > 2) Are there some set goals that CLP(Prob) should achieve? (,,Basic > support of CLP(Prob).'' does not express it too well! :-P ) > This seems like a pretty challenging one as there

[GSoC 2013] core.logic CLP(Prob)

2013-04-23 Thread Radosław Piliszek
Hi! Let me introduce myself. I'm a second-year student of Computer Science at the University of Białystok in Poland. I've had some exposure to Prolog and programmed in functional style in several languages (Common Lisp, Haskell, Racket, Scala). I'm picking up Clojure quickly now. ;-) I'm inte