Re: typical distribution of arities?

On Jul 24, 2007, at 4:01 PM, Rich Morin wrote:

> At 12:54 PM -0700 7/23/07, Hans Chalupsky wrote:
>> STELLA(30): (retrieve all (variable-arity ?r))
>> There are 10 solutions:
>>   #1: ?R=DIFFERENT
>>   #2: ?R=QUERY
>>   #3: ?R=BOUND-VARIABLES
>>   #4: ?R=CUT
>>   #5: ?R=VALUE
>>   #6: ?R=HOLDS
>>   #7: ?R=LISTOF
>>   #8: ?R=SETOF
>>   #9: ?R=COLLECTIONOF
>>   #10: ?R=SKOLEM-FN
>
> Where would I find descriptions of these relations and
> on the use of variable-arity relations in PowerLoom?

Two choices for descriptions:

MANUAL: Look in the PowerLoom manual section that describes the
built-in relations:
   <http://www.isi.edu/isd/LOOM/PowerLoom/documentation/manual/ 
manual_8.html#SEC62>

INTERACTIVE: you can use one of the Ontosaurus servers from here
    <http://www.isi.edu/isd/LOOM/PowerLoom/index.html#Ontosaurus>
to look at the items in the PL-KERNEL-KB.  The easiest way to do that  
is to
   1. select Module: PL-KERNEL-KB
   2. type "variable-arity" in the search box (without quotes)
   3. hit the "Hold Window" button
   4. scroll the left-hand pane down to the instances and click the  
names

As for use, some of that appears from the documenation.  Otherwise,  
they are
used like any other relations except that there is no fixed number of  
arguments.
In the case of functions such as LISTOF, SETOF, etc. the variable  
arity applies
to all but the last arugment, which is the function value:

? (assert (listof a b c d e f g the-list))
   |P|(= (LISTOF A B C D E F G) sk05//THE-LIST)

? (retrieve all (?x) (member-of ?x the-list))
   There are 7 solutions:
     #1: ?X=A
     #2: ?X=B
     #3: ?X=C
     #4: ?X=D
     #5: ?X=E
     #6: ?X=F
     #7: ?X=G
?

Hmmm.  I note that SKOLEM-FN seems to be newer than our documentation.


>
> -r
> -- 
> http://www.cfcl.com/rdm            Rich Morin
> http://www.cfcl.com/rdm/resume     [email protected]
> http://www.cfcl.com/rdm/weblog     +1 650-873-7841
>
> Technical editing and writing, programming, and web development
> _______________________________________________
> powerloom-forum mailing list
> [email protected]
> http://mailman.isi.edu/mailman/listinfo/powerloom-forum