Re: predutils package available (Re: PAC library for develop version available)

On Sep 30, 2014, at 23:29, Michael Hendricks <[email protected]> wrote:

> On Tue, Sep 30, 2014 at 12:22 AM, Kuniaki Mukai <[email protected]>
> wrote:
> 
>> I have managed to install "predutils" package, which I am calling pac
>> library.
>> (ERROR message below is for  minor updates.)
>> 
> 
> Congratulations on getting it working.  When I tried to install the pack, I
> got an error message saying that the tarball contents had changed.  I
> verified this by comparing the current tarball's SHA1
> (2a551f0bd4fa491d03e2433eaf706e570b1e16d2) against the one listed on the
> website (5679d4f08644a9d5eb1b5e50cb3b9e29ad129d1a).
> 
> If you need to change the contents of your pack, modify pack.pl to
> increment the version number.  Then create a new tarball named after that
> version number.  This preserves a history each pack and assures users that
> they're downloading the right code.

Thanks. I will keep this in mind.
> 
> 
>> ?- [library(predutils)].
>> true.
>> 
> 
> For what it's worth, I prefer the pack name "pac" as you tried with your
> initial upload.  If you upload your next version as "pac", let Jan know and
> he can delete the "predutils" pack.

I have named "pac". Thanks.

Let me explain about the acronym"
In my mind, "pac" means "Parametric Anonymous Clauses",
As in Prolog a predicate is a set of (definite) clauses, 
so "pac" is nearly an acronym for "parametric anonymous predicate".
"pac" package  allows recursive predicate definitions like append/3.

This feature has been used in "pac" to compile regular expressions 
in DCG phrases. By "parametric" I mean "globals". 
I will be happy if "pac" will contribute to a coherent
extension of DCG phrases or meta argument expansion in Prolog.

> 
> ?- module(pac).
>> true.
>> 
> 
> This is needed because library(predutils) doesn't export the predicates
> from module pac.  The documentation on modules should help:
> http://swi-prolog.org/pldoc/man?section=modules

Thanks. I will reread it.  Once I had some difficulty to understand
basic notions on module something like difference between "namespace"  
or "predicatebase". So I skipped it as my usual way. 
I feel I have been paying to the skipping.  
For instance, it is only recent (few hours ago !) for me to notice that 
assert(a:(b:-c)) is not equivalent to  assert(a:b :- c). 

Kuniaki

> 
> I hope that helps.
> 
> -- 
> Michael
> -------------- next part --------------
> HTML attachment scrubbed and removed
> _______________________________________________
> SWI-Prolog mailing list
> [email protected]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.iai.uni-bonn.de/pipermail/swi-prolog/attachments/20141001/e51dd9bf/signature.asc>