![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/generic.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| CORBA-interface.lisp | 2003-12-03 11:45 | 11K | |
| DLR-interface-new.lisp | 2003-12-03 11:45 | 14K | |
| DLR-interface.lisp | 2003-12-03 11:45 | 14K | |
| FaCT-definitions.lisp | 2003-12-03 11:45 | 3.1K | |
| FaCT-reasoner.lisp | 2003-12-03 11:45 | 41K | |
| FaCT-system-portable.lisp | 2003-12-03 11:45 | 11K | |
| FaCT-system.cl | 2003-12-03 11:45 | 7.9K | |
| GNU-stuff.lisp | 2003-12-03 11:45 | 5.9K | |
| SHIQ-reasoner.lisp | 2003-12-03 11:45 | 82K | |
| classifier.lisp | 2003-12-03 11:45 | 82K | |
| dlr.lisp | 2003-12-03 11:45 | 51 | |
| fact.cl | 2003-12-03 11:45 | 77 | |
| initialise.lisp | 2003-12-03 11:45 | 3.0K | |
| jlinker-interface.lisp | 2003-12-03 11:45 | 684 | |
| kris-interface.lisp | 2003-12-03 11:45 | 10K | |
| shiq.cl | 2003-12-03 11:45 | 67 | |
| tests.cl | 2003-12-03 11:45 | 18K | |