| Copyright | (c) Harm Brouwer and Noortje Venhuizen |
|---|---|
| License | Apache-2.0 |
| Maintainer | me@hbrouwer.eu, n.j.venhuizen@rug.nl |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Data.DRS.Input.Boxer
Description
Converts Boxer's Prolog output to DRS
Synopsis
- type PrologDRS = String
- boxerToDRS :: String -> DRS
- replaceLambdas :: PrologDRS -> Int -> PrologDRS
- convertPrologVars :: PrologDRS -> [(String, String)] -> PrologDRS
Exported
boxerToDRS :: String -> DRS #
Converts Boxer's output into a DRS.
replaceLambdas :: PrologDRS -> Int -> PrologDRS #
Replaces all lambda-variables in a PrologDRS by lambda-identifiers.
convertPrologVars :: PrologDRS -> [(String, String)] -> PrologDRS #
Converts all Prolog Variables into new Variables.