Index of /0.91/exa/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
 BinaryDatalog | 2013-12-11 20:58 | - |
| Datalog | 2018-02-09 20:15 | - |
| Dishornlog | 2018-02-09 20:15 | - |
| FOL+ | 2013-12-11 20:58 | - |
| Folog | 2018-02-09 20:15 | - |
| Hornlog | 2018-02-09 20:15 | - |
| Hornlogeq | 2018-02-09 20:15 | - |
| Nafhornlog | 2018-02-09 20:15 | - |
| NegationDatalog | 2013-12-11 20:58 | - |