Re: memo package - persistent memoisation

Hi Samer.  It looks good.  I'll submit a couple patches shortly.


-- 
Michael


On Sat, Apr 19, 2014 at 4:13 AM, Abdallah, Samer <[email protected]>wrote:

> Ok, I made  a Git repository. There are a few
> loose ends to tie up to produce an installable pack.
> It's here:
> https://github.com/samer--/prolog
>
> Samer.
>
>
> On 18 Apr 2014, at 16:16, Michael Hendricks <[email protected]> wrote:
>
> Hi Samer.
>
> On Fri, Apr 18, 2014 at 8:21 AM, Abdallah, Samer <[email protected]>wrote:
>
>> Hello all,
>> Inspired by Jan's persistency library, I've release a new package called
>> 'memo'
>> for doing memoisation.
>
>
> Thanks for releasing this.  I expect to use it in a couple different
> projects.  It's nice not to manually rewrite this kind of memoization code
> for each predicate.
>
>
>>         - should I factor out some of the component functionalities,
>> which at the moment, are
>>                 1. type checking
>>
>
> Yes please.  library(typedef) is a very common interface, it would be
> great to have a shared open source library that we can all work on
> together.  I have similar (unreleased) code for type definitions for my
> "mavis" and "quickcheck" libraries.  I'd gladly recommend library(typedef)
> if it were an independent pack.
>
> Is there a Git repository for this pack?  I may submit a couple patches.
>
>
> As an aside, the pack documentation has the line:
>
>     ?- sqrt1(-4.0,X). % fails
>
> Would that give X=nothing rather than failing?  That seems to be the case
> based on the earlier examples in the documentation.
>
> --
> Michael
>
>
>
-------------- next part --------------
HTML attachment scrubbed and removed