[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Date: Fri, 2 Mar 90 17:43:44 MDT
From: andreasg@boulder.Colorado.EDU (Andreas Girgensohn)
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.
The closest thing to a "Joshua mailing list" is
email@example.com. I do not know whether it is listened to at
this point, after the recent Symbolics layoffs. Please try it and
let SLUG know if you get any response. Thanks.