I think Myriam Abramson wrote: > > Hi! > > Is there a way to pretty print a fact? > > For example, ppfact(0) to print f-0? > > TIA > myriam >
Just use Fact.toString(). Doesn't do indentation, though, if that's what you're after; there's no built-in method to do that. --------------------------------------------------------- Ernest Friedman-Hill Distributed Systems Research Phone: (925) 294-2154 Sandia National Labs FAX: (925) 294-2234 PO Box 969, MS 9012 [EMAIL PROTECTED] Livermore, CA 94550 http://herzberg.ca.sandia.gov -------------------------------------------------------------------- To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]' in the BODY of a message to [EMAIL PROTECTED], NOT to the list (use your own address!) List problems? Notify [EMAIL PROTECTED] --------------------------------------------------------------------
