PAKCS
Exported names: Imported modules:

Module Prolog.Show

This library contains a simple pretty printer for showing Prolog programs.

Author: Michael Hanus

Version: May 2017

Summary of exported operations:

showPlProg :: [PlClause] -> String   
Shows a Prolog program in standard Prolog syntax.
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.
showPlTerm :: PlTerm -> String   
Shows a Prolog term in standard Prolog syntax.

Exported operations:

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.

showPlTerm :: PlTerm -> String   

Shows a Prolog term in standard Prolog syntax.