Module Language.Prolog.Read

This library contains operations to read/parse Prolog programs.

Author: Michael Hanus

Version: November 2023

Summary of exported operations:

readPrologFile :: String -> IO [PlClause]  Non-deterministic 
Reads a file containing a Prolog program and return the Prolog clauses.
parseProlog :: String -> [PlClause]  Non-deterministic 
Parses a string containing a list of Prolog clauses which are returned.

Exported operations:

readPrologFile :: String -> IO [PlClause]  Non-deterministic 

Reads a file containing a Prolog program and return the Prolog clauses.

parseProlog :: String -> [PlClause]  Non-deterministic 

Parses a string containing a list of Prolog clauses which are returned.