No, there isn't a system based on core.logic, AFAIK, but Gerry Sussmans
scmutils has had an succesful initial port.
I am sure that core.logic and many other Clojure facilities could be used
to improve the symbolic logic, enable better algorithms etc, and I
certainly hope this will happen.
Here'
Actually, after working through the algorithm presented in the wiki, I
think my implementation is basically equivalent given the data structures
I'm using. :|
On Monday, May 21, 2012 9:27:01 AM UTC-4, Brent Millare wrote:
>
>
>
> On Monday, May 21, 2012 7:11:01 AM UTC-4, Martin Jul wrote:
>>
>>
On Monday, May 21, 2012 7:11:01 AM UTC-4, Martin Jul wrote:
>
> Symbolic computation sounds like a really great project!
>
> For your specific problem of sorting the dependencies, you can do a
> "topological sort" of the dependency graph of your equations in linear time
> (given there are no c
Symbolic computation sounds like a really great project!
For your specific problem of sorting the dependencies, you can do a
"topological sort" of the dependency graph of your equations in linear time
(given there are no cyclic dependencies, otherwise it would detect the
failure). There are st
Core.logic isn't the only way to approach this problem. In Peter Norvig's
PAIP he included a simple algebra system, macsyma
http://norvig.com/paip/macsyma.lisp (in common lisp).
JG
On Sunday, 20 May 2012 06:21:56 UTC+10, Brent Millare wrote:
> That's more or less what I'm going to have to do
That's more or less what I'm going to have to do anyways. It's great that
clojure + core.logic make that as easy as possible.
On Friday, May 18, 2012 10:42:16 PM UTC-4, David Nolen wrote:
>
> It might also be interesting to pursue a hybrid system - that's the whole
> point of core.logic - being
It might also be interesting to pursue a hybrid system - that's the whole
point of core.logic - being able to mix functional and relational
programming with minimal hassle.
David
On Fri, May 18, 2012 at 10:39 PM, Brent Millare wrote:
> I'm working through "The Art of Prolog" at the moment, we'll
I'm working through "The Art of Prolog" at the moment, we'll see where it
takes me.
Unknown :) I do know that The Art of Prolog does cover a simple system
> based on the Prolog Equation Solving System. You might want to start
> research there.
>
> David
>
--
You received this message beca
On Fri, May 18, 2012 at 8:31 PM, Brent Millare wrote:
> Is there work towards building an algebra system with core.logic? So one
> could analyze mathematical expressions: compute symbolic derivatives,
> simplify expressions, determine undefined variables, and other forms of
> analysis.
Not that
Is there work towards building an algebra system with core.logic? So one
could analyze mathematical expressions: compute symbolic derivatives,
simplify expressions, determine undefined variables, and other forms of
analysis.
If there isn't, I have a good starting problem that I need help on.
L
10 matches
Mail list logo
