| Copyright | (c) Eugen Kuksa and Till Mossakowksi |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | kuksa@iks.cs.ovgu.de |
| Stability | provisional |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | None |
Comorphisms.SuleCFOL2TPTP
Description
The translating comorphism from a CASL subset to TPTP.
Documentation
suleCFOL2TPTP :: GenSuleCFOL2TPTP Source #