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

logln(++LogID, +Term)

writes a term to a logfile
LogID
id of a log
Term
the term to be logged

Description

logln/2 appends a line consisting of a timestamp and Term 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

log_printf / 3, set_log_prefix / 1