Result prefix

[Magnus Malm]

Hello

I was just wondering if there's some documentation on the various prefixes that powerloom uses in the return results? I know some of them are mentioned, like |MDL|. But are there a list of all the prefixes and their meaning somewhere?

Kind regards,
--
Magnus Malm
_______________________________________________
powerloom-forum mailing list
powerloom-forum@...
http://mailman.isi.edu/mailman/listinfo/powerloom-forum

[Hans Chalupsky]

Magnus,

I don't think we have a list anywhere.  The prefixes are primarily a
debugging aid to let you know what kind of object you are looking at,
they shouldn't be relied upon by any of your code.  Printing of
prefixes is generally supressed if the STELLA variable
*printReadably?* is TRUE.

Here are some of the ones you might encounter:

|C| a STELLA class
|M| a STELLA method
|S| a STELLA storage slot
|MDL| a STELLA module
|WLD| a STELLA world
|L| a STELLA literal wrapper

|i| a PowerLoom logic object/instance
|sk...| a PowerLoom skolem individual
|W| a logic literal wrapper (with backpointers)
|c| a PowerLoom named concept description
|r| a PowerLoom named relation description
|f| a PowerLoom named function description
|d| a general unnamed description
|P| a PowerLoom proposition
|p| a PowerLoom proposition that's only true by default
|P#| an inconsistent proposition
|P?| an unknown proposition
|uP| an unfastened (currently being built) proposition
|pd|, |Pd|, |Pd#|, |Pd?|, |uPd| descriptive propositions

Hans

--------------------------------------------------------------------------
PowerLoom home page:                 http://www.isi.edu/isd/LOOM/PowerLoom
PowerLoom forum:                                   powerloom-forum@...
PowerLoom request line:                      powerloom-forum-admin@...
KOJAK home page:                         http://www.isi.edu/isd/LOOM/kojak
STELLA home page:                       http://www.isi.edu/isd/LOOM/Stella
--------------------------------------------------------------------------

>>>>> Magnus Malm <magnusmalm@...> writes:

> Hello
> I was just wondering if there's some documentation on the various prefixes
> that powerloom uses in the return results? I know some of them are
> mentioned, like |MDL|. But are there a list of all the prefixes and their
> meaning somewhere?

> Kind regards,
> --
> Magnus Malm
> Hello<br><br>I was just wondering if there's some documentation on the various prefixes that powerloom uses in the return results? I know some of them are mentioned, like |MDL|. But are there a list of all the prefixes and their meaning somewhere?
> <br><br>Kind regards,<br>-- <br>Magnus Malm
> _______________________________________________
> powerloom-forum mailing list
> powerloom-forum@...
> http://mailman.isi.edu/mailman/listinfo/powerloom-forum
_______________________________________________
powerloom-forum mailing list
powerloom-forum@...
http://mailman.isi.edu/mailman/listinfo/powerloom-forum