Other BinProlog goodies and new predicates

A few BinProlog specific predicates are available:

• restart/0 - cleans every data area
• cwrite/1 - fast but restricted write
• symcat/3 (i,i,o) returns a new symbol of the form <first>_<second>.
• gensym/2 (i,o) forms a new name of the form <name>_<counter>.
• sread/2 (i,o) reads from a name a (ground) term, swrite(i,o) writes a term to a name.
• term termcat/3 (i,i,o) adds its second argument as last argument of its first argument and returns the new term
• term_chars/2 converts between a ground term and its string representation
• not/1 is a form of sound negation
• for/3 as for instance in ?-for(I,1,5),write(I),nl,fail generates a failure driven loop

It is a good idea to take a look at BinProlog's *.pl for other builtin-or-library predicates before implementing them yourself. The file write.pl contain various output predicates like

• write/1
• writeq/1
• portray_clause/1
• print/1
• display/1
• ttyprint/1
• ttynl/1