Hi, I'm about to implement the Event Calculus in Jess. I need to express the predicates and axioms of this formal logic. Any hints before I start so that I don't waste too much time exploring dead-ends would be greatly appreciated.
-------------------------------------------------------------------- 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] --------------------------------------------------------------------
