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.
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
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 cyclic
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:
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
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.
On Fri, May 18, 2012 at 8:31 PM, Brent Millare brent.mill...@gmail.comwrote:
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
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 because
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 brent.mill...@gmail.comwrote:
I'm working through The Art of Prolog
10 matches
Mail list logo