SLUG mail archive
[Prev][Next][Index][Thread]

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
andreasg@boulder.colorado.edu
Follow-Ups:
Main Index | Thread Index