Name: check_arithmetic_function/1
Name: exists_source/1
Name: supported_term_expansion_style/1
Name: supported_goal_expansion_style/1
user:term_expansion(Term1, Term2) :- Term1 == unsupported_term_expansion_style(traditional), !, Term2 = supported_term_expansion_style(traditional). user:term_expansion(Term1, Layout1, Term2, Layout2) :- Term1 == unsupported_term_expansion_style(swi_layout), !, Term2 = supported_term_expansion_style(swi_layout), Layout2 = Layout1.
Calls:
Name: =/2
Name: !
Name: ==/2
Description: check_arithmetic_function(+FuncCall)
check_arithmetic_function(FuncCall) :- catch(_Res is FuncCall, _Error, false).
Name: catch/3
Description: exists_source(+Source).
exists_source(Source) :- absolute_file_name(Source, _, [access(exist), file_type(source), file_errors(fail)]).
Name: absolute_file_name/3