Re: How to do some recursiv inference?

[email protected]
Newsgroups gmane.comp.ai.powerloom
Message-ID <[email protected]>
Thank you  for your help Hans. But I need a more help here...sorry :)

Quoting Hans Chalupsky <[email protected]>:

[deleted]
> (2) In its current default configuration, PowerLoom doesn't back-index
>     on literals such as numbers or strings.  Therefore, it won't find
>     some of your assertions below which will prevent the inferences
>     from going through.  To make it backindex on literals, you have to
>     set the variable (in Lisp)
> 
>     (setq stella::*backlink-all-proposition-arguments?* stella::true)
> 
>     If you are using Java, you'd have to set the variable
> 
>            edu.isi.powerloom.logic.$BACKLINK_ALL_PROPOSITION_ARGUMENTSp$
> 
>     or in C++ the variable
> 
>            logic::oBACKLINK_ALL_PROPOSITION_ARGUMENTSpo
>
>     You can set it in the respective main function or the Lisp top level.
>     
>     This behavior was motivated by the fact that we wanted to avoid lots of
>     proposition backpointers from commonly used constants such as 0 or
>     1, but we might change our position on that for future releases.

I use Java-version Powerloom to do these definition. But I still cant find how
to set the variabel that you point here (which is
"edu.isi.powerloom.logic.$BACKLINK_ALL_PROPOSITION_ARGUMENTSp$"). How can I set
that variabel? In Powerloom prompt or may be I have to change some files to do
that.

[deleted]
> 
> Hans
> 
> --------------------------------------------------------------------------
> PowerLoom home page:                 http://www.isi.edu/isd/LOOM/PowerLoom
> PowerLoom forum:                                   [email protected]
> PowerLoom request line:                      [email protected]
> STELLA home page:                       http://www.isi.edu/isd/LOOM/Stella
> --------------------------------------------------------------------------

M. Ridwan A.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.