Re: How to do some recursiv inference?
Thomas Russ <[email protected]>
| Newsgroups | gmane.comp.ai.powerloom |
|---|---|
| Message-ID | <[email protected]> |
On Sunday, December 21, 2003, at 01:36 PM, Andrew n marshall wrote: > > > [email protected] wrote: >> Thank you for your help Hans. But I need a more help here...sorry :) >> Quoting Hans Chalupsky <[email protected]>: >>> >>> (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$ > Arg. Once more (missing "." before variable name). edu.isi.powerloom.logic.Logic.$BACKLINK_ALL_PROPOSITION_ARGUMENTSp$