MINS
by earl, 6839 days ago
MINS is not SiLRI"MINS is a reasoner for Datalog programs with negation and function symbols. MINS supports the Well-Founded Semantics. MINS is based on SiLRI."
People: [create Holger Lausen], [create Uwe Keller], [create Darko Anicic]
- http://dev1.deri.at/mins/
search
17 active users
- unknown (17)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
