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

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.

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