Module Language.Prolog.Read
Author
Michael Hanus
Version
November 2023
This library contains operations to read/parse Prolog programs.
Exported Functions:
Exported Functions
readPrologFile
:: String -> IO [PlClause] 
Reads a file containing a Prolog program and return the Prolog clauses.
- Further infos:
-
- might behave indeterministically
parseProlog
:: String -> [PlClause]
Parses a string containing a list of Prolog clauses which are returned.
- Further infos:
-
- might behave indeterministically