Module Language.Prolog.Read
Author
Michael Hanus
Version
Februarz 2026
This library defines operations to read/parse Prolog programs.
Exported Functions:
Exported Functions
readPrologFile
:: String -> IO [PlClause] 
Reads a file containing a Prolog program and returns the Prolog clauses contained in this file.
- 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