Module Language.Prolog.Show

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

Author: Michael Hanus

Version: December 2021

Summary of exported operations:

showPlProg :: [PlClause] -> String  Non-deterministic 
Shows a Prolog program in standard Prolog syntax.
showPlClause :: PlClause -> String  Non-deterministic 
Shows a Prolog clause in standard Prolog syntax.
showPlGoals :: [PlGoal] -> String  Non-deterministic 
Shows a list of Prolog goals in standard Prolog syntax.
showPlGoal :: PlGoal -> String  Non-deterministic 
Shows a Prolog goal in standard Prolog syntax.
showPlTerm :: PlTerm -> String  Non-deterministic 
Shows a Prolog term in standard Prolog syntax.

Exported operations:

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

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

showPlClause :: PlClause -> String  Non-deterministic 

Shows a Prolog clause in standard Prolog syntax.

showPlGoals :: [PlGoal] -> String  Non-deterministic 

Shows a list of Prolog goals in standard Prolog syntax.

showPlGoal :: PlGoal -> String  Non-deterministic 

Shows a Prolog goal in standard Prolog syntax.

showPlTerm :: PlTerm -> String  Non-deterministic 

Shows a Prolog term in standard Prolog syntax.