Module Language.Prolog.Show

Exported Functions

showPlProg :: [PlClause] -> String   

Shows a Prolog program in standard Prolog syntax. The clauses are also optimized by removing superfluous unification literals.

showPlClause :: PlClause -> String   

Shows a Prolog clause in standard Prolog syntax.

showPlGoals :: [PlGoal] -> String   

Shows a list of Prolog goals in standard Prolog syntax.

showPlGoal :: PlGoal -> String   

Shows a Prolog goal in standard Prolog syntax.

Further infos:

• partially defined

showPlTerm :: PlTerm -> String   

Shows a Prolog term in standard Prolog syntax.

Further infos:

• partially defined