Module PrologPrint

module PrologPrint: sig .. end

Printing terms in ISO-Prolog syntax.

val print : Term.term -> unit

Print the given term in ISO-Prolog syntax, as by Prolog's write_canonical predicate to stdout.

val output : Pervasives.out_channel -> Term.term -> unit

Same as print, but with the output channel as argument.

val print_to_string : Term.term -> string

Same as print, but instead of printing, it returns a string containg the output.