TRIPLE
TRIPLE
is XXX
... XXX uses F-Logic syntax
current implementation based on XSB -- a future 100% Java implementation is planned
Mike Dean
107 of 130
