Re: How to do some recursiv inference?
Andrew n marshall <[email protected]>
| Newsgroups | gmane.comp.ai.powerloom |
|---|---|
| Message-ID | <[email protected]> |
[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$ Anm