[ library(logger) | General Game Player | Alphabetic Index ]

log_printf(++LogID, ++FormatString, +Parameters)

writes a term to a logfile
LogID
id of a log
FormatString
a printf format string
Parameters
a list of positional parameters for the format string

Description

log_printf/3 appends a line consisting of a timestamp and a string written by printf(FormatString, Parameters) to the logfile. The name of the logfile is composed of a directory (default is "logs") the log prefix (typically the id of the current match) and LogID.

Fail Conditions

None. Always succeed.

Resatisfiable

no

See Also

printf / 2, logln / 2, set_log_prefix / 1