[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Is there a Joshua mailing list? I have a question about justifications in
Joshua. Is it possible that an assumption has another predication as
justification? E.g., I assume [x y] as long as [a b] is true. Right now, my
application keeps filling up the database with assumption that become obsolete
after a while.
- Joshua question
- From: pan@Athena.Pangaro.Dialnet.Symbolics.Com (Paul Pangaro)