Hi,
On Wed 26 May 2010 13:16, Stefan writes:
> I've gone through the code for fluids to understand it. And how it relates to
> unification variables.
>
> Some facts for fluids:
> * Allocation is slow, can be made faster but still it seams to be
> slow
Indee
Hi,
I've gone through the code for fluids to understand it. And how it relates to
unification variables.
Some facts for fluids:
* Allocation is slow, can be made faster but still it seams to be slow
- Allocates on the heap
- uses a
Hi,
This will give some ideas of how I prefere to handle
unification. I add a few extra instructions. And I do not
expect you to swallow that. But at least it is a beutiful
idea.
Consider an example of a unifing matcher e.g.
(def f ((a _) a)
((c b) b))
currently this compiles to
,x f
I did a reference implementation of unification code in pure
scheme. It is just 185 lines of code (the rest is the test case)
see http://c-lambda.se/unify.scm
Some timings for the example
scheme-version > 2100 ms
c-initial-guile> ~150 ms
current-best
Hi Stefan,
On Tue 13 Apr 2010 13:55, l...@gnu.org (Ludovic Courtès) writes:
> stefan writes:
>
>> I did a small try to extend guile to handle unification. The result is in
>>
>> http:///c-lambda.se/gp.tar.gz
>>
>> In there is an example of a unification sol
Hello!
stefan writes:
> I did a small try to extend guile to handle unification. The result is in
>
> http:///c-lambda.se/gp.tar.gz
>
> In there is an example of a unification solution of the Einstein riddle.
> The solution takes 150ms on my PC. Gnu prolog execute it in about
Hi,
I did a small try to extend guile to handle unification. The result is in
http:///c-lambda.se/gp.tar.gz
In there is an example of a unification solution of the Einstein riddle.
The solution takes 150ms on my PC. Gnu prolog execute it in about 16ms.
I'm using a c-extension linked in whi
