Did you know ... Search Documentation:
Pack dialect-ciao -- prolog/dialect/ciao/write.pl
PublicShow source
 prettyvars(?Term)
Similar to numbervars(Term,0,_), except that singleton variables in Term are unified with '$VAR'('_'), so that when the resulting term is output with a write option numbervars(true), in the place of singleton variables _ is written. This predicate is used by portray_clause/2.
 printable_char(+Char) is semidet
Char is the code of a character which can be printed. Not really sure what this means. Mapped to code_type/2 using type graph.

Re-exported predicates

The following predicates are re-exported from other modules

 portray_clause(+Clause) is det
 portray_clause(+Out:stream, +Clause) is det
 portray_clause(+Out:stream, +Clause, +Options) is det
Portray `Clause' on the current output stream. Layout of the clause is to our best standards. As the actual variable names are not available we use A, B, ... Deals with ';', '|', '->' and calls via meta-call predicates as determined using the predicate property meta_predicate. If Clause contains attributed variables, these are treated as normal variables.

If Options is provided, the option-list is passed to write_term/3 that does the final writing of arguments.

 portray_clause(+Clause) is det
 portray_clause(+Out:stream, +Clause) is det
 portray_clause(+Out:stream, +Clause, +Options) is det
Portray `Clause' on the current output stream. Layout of the clause is to our best standards. As the actual variable names are not available we use A, B, ... Deals with ';', '|', '->' and calls via meta-call predicates as determined using the predicate property meta_predicate. If Clause contains attributed variables, these are treated as normal variables.

If Options is provided, the option-list is passed to write_term/3 that does the final writing of arguments.

Undocumented predicates

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

 write_term(Arg1, Arg2, Arg3)
 write_term(Arg1, Arg2)
 write(Arg1, Arg2)
 write(Arg1)
 writeq(Arg1, Arg2)
 writeq(Arg1)
 write_canonical(Arg1, Arg2)
 write_canonical(Arg1)
 print(Arg1, Arg2)
 print(Arg1)
 write_list1(Arg1)
 numbervars(Arg1, Arg2, Arg3)