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 |
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.