Logging
PSL uses SLF4J for logging.
Java
In the PSL Java interface, SLF4J is bound to Log4j 1.2.
The Log4j configuration file is located at src/main/resources/log4j.properties.
It should look something like this:
# Set root logger level to the designated level and its only appender to A1.
log4j.rootLogger=INFO, A1
# A1 is set to be a ConsoleAppender.
log4j.appender.A1=org.apache.log4j.ConsoleAppender
# A1 uses PatternLayout.
log4j.appender.A1.layout=org.apache.log4j.PatternLayout
log4j.appender.A1.layout.ConversionPattern=%-4r [%t] %-5p %c %x - %m%n
# Change our connection pool to only log errors.
# Since we may set our root logger to something more loose, we want to explicitly set this.
org.slf4j.simpleLogger.log.com.zaxxer.hikari=ERROR
log4j.logger.com.zaxxer.hikari=ERROR
The logging verbosity can be set by changing ERROR in the second line to a different level and recompiling. Options include OFF, WARN, DEBUG, and TRACE.
CLI
In the command line interface, the logging level can be set using the same logging levels like this:
java -jar psl.jar --infer --data example.data --model example.psl -D log4j.threshold=DEBUG