messages.pl

 lang_module(-M) is multi[private]

True when M is a module holding rules for scasp_message//1.

 scasp_lang(-Lang) is det

True when Lang is the language used for messages and justifications.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 scasp_justification_message(Arg1, Arg2, Arg3)