Re: memo package - persistent memoisation

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.iai.uni-bonn.de/pipermail/swi-prolog/attachments/20140419/844c8d1e/attachment.bin>