Availability:
:- use_module(library(check)).
[semidet,multifile]valid_string_goal(+Goal)format("Hello world~n") is considered proper
use of string constants.[semidet,multifile]valid_string_goal(+Goal)
:- use_module(library(check)).[semidet,multifile]valid_string_goal(+Goal)format("Hello world~n") is considered proper
use of string constants.