[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Joshua question

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.

Andreas Girgensohn