Did you know ... Search Documentation:
Title for wiki(tags)

Pages tagged "SWI7"

SWI-Prolog Reference Manual
 
4.39 Debugging and Tracing Programs
style_check/1Modify/query style checking options.Source
4.21 Analysing and Constructing Terms
compound_name_arguments/3Rationalized version of =../2 that can compose and decompose compound terms with zero arguments.Source
compound_name_arity/3Rationalized version of functor/3 that only works for compound terms and can examine and create compound terms with zero arguments (e.g, name().