Ultralisp.org
includes two thousand eight projects
A fast-moving Common Lisp software distribution.
Try: project:"40ants/reblocks" AND symbol:"request"
Leave feedback
Log In
All projects of ha-mo-we
ha-mo-we/Racer
Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).