Re: How to do some recursiv inference?

if19066 <at> students.if.itb.ac.id wrote:
> Thank you  for your help Hans. But I need a more help here...sorry :)
> 
> Quoting Hans Chalupsky <hans <at> ISI.EDU>:
>>
>>    (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$

Correction, that should be:

   edu.isi.powerloom.logic.Logic$BACKLINK_ALL_PROPOSITION_ARGUMENTSp$

Anm