messages.pl

 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)