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

On Oct 2, 2014, at 7:48, Richard A. O'Keefe <[email protected]> wrote:

> 
> On 1/10/2014, at 7:49 PM, Kuniaki Mukai wrote:
>> 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.
> 
> Drat.  When I saw the name "PAC" I hoped it had something
> to do with Probably Approximately Correct learning (see
> http://www.cs.iastate.edu/~honavar/pac.pdf), a major theory
> of machine learning.

Thank you for comment. I should have been careful. 
Yes, PAC learning is now major, seems still rapidly developing.  
In fact, I am interested in the their recent 
mathematical frameworks. 

> "Parametric" really shouldn't mean "globals".

In general, differences between  usages of the following terms
are not not clear for me:
parameter
globals
variable
indeterminate
argument (place).

As far as my "PAC" concerns,  
the first argument of pred/2 and rec/2 term is simply called  "parameter", 
and the occurrence of the "pred" and "rec" term in meta argument context
is replaced by an appropriately generated unary term with the parameter, and
with the definition of the unary term being asserted as 
prolog standard predicate. For me, the behaviour of the parameter
looks very much like that of free variables of lambda calculus, (aside unification).
That is my reason for using "parametric" as "free". 

Kuniaki





> 
> _______________________________________________
> 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/20141002/ab53879b/signature.asc>