This library contains operations to read/parse Prolog programs.
Author: Michael Hanus
Version: November 2023
readPrologFile
:: String -> IO [PlClause]
Reads a file containing a Prolog program and return the Prolog clauses. |
parseProlog
:: String -> [PlClause]
Parses a string containing a list of Prolog clauses which are returned. |
Reads a file containing a Prolog program and return the Prolog clauses. |
Parses a string containing a list of Prolog clauses which are returned. |