Did you know ...
Search Documentation:
messages.pl
HOME
DOWNLOAD
SWI-Prolog
Sources/building
Docker images
Add-ons
Browse GIT
DOCUMENTATION
Manual
Packages
FAQ
Command line
PlDoc
Bluffers
▶
Prolog syntax
PceEmacs
HTML generation
License
Publications
Rev 7 Extensions
TUTORIALS
Beginner
▶
Getting started
Learn Prolog Now!
Simply Logical
Debugger
Development tools
Advanced
▶
Modules
Grammars (DCGs)
clp(fd)
Printing messages
PlDoc
Web applications
▶
Web applications
Let's Encrypt!
Pengines
Semantic web
▶
ClioPatria
RDF namespaces
Graphics
▶
XPCE
GUI options
Machine learning
▶
Probabilistic Logic Programming
External collections
▶
Meta level tutorials
For packagers
▶
Linux packages
COMMUNITY
Forum & mailing list
Blog
News
Report a bug
Submit a patch
Submit an add-on
Roadmap (on GitHub)
External links
Contributing
Code of Conduct
Contributors
SWI-Prolog items
COMMERCIAL
WIKI
Login
View changes
Sandbox
Wiki help
All tags
translate_message
(+Term)
//
is
det
Translate a message
Term
into message lines. The produced lines is a list of
nl
Emit a newline
Fmt
-
Args
Emit the result of
format(Fmt, Args)
Fmt
Emit the result of
format(Fmt)
ansi
(Code, Fmt, Args)
Use
ansi_format/3
for color output.
flush
Used only as last element of the list. Simply flush the output instead of producing a final newline.
at_same_line
Start the messages at the same line (instead of using ~N)
deprecated
- Use code for message translation should call
translate_message//1
.
translate_message
(+Term)
//
is
det
Translate a message term into message lines. This version may be called from user and library definitions for message translation.
term_message
(+Term)
//
Deal with the formal argument of
error(Format, ImplDefined)
exception terms. The
ImplDefined
argument is handled by
swi_location//2
.
swi_location
(+Term)
//
is
det
Print location information for
error(Formal, ImplDefined)
from the ImplDefined term.
print_message
(+Kind, +Term)
Print an error message using a term as generated by the exception system.
print_message_lines
(+Stream, +PrefixOrKind, +Lines)
Quintus compatibility predicate to print message lines using a prefix.
message_to_string
(+Term, -String)
Translate an error term into a string