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

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.

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

Shows a Prolog clause in standard Prolog syntax.

showPlGoals :: [PlGoal] -> String

Shows a list of Prolog goals in standard Prolog syntax.

Shows a Prolog goal in standard Prolog syntax.

Shows a Prolog term in standard Prolog syntax.