module Prologpp: sig end
Pretty printing of specifications in abstract syntax (multi-process)
in Horn clauses format
val prologpp_clause : Symbols.eva_symbol_list -> Clause.clause -> unit
prologpp_clause sl cl
pretty print the given clause cl
using the given symbol list sl.
val prologpp_tclause : Symbols.eva_symbol_list -> Clause.tclause -> unit
prologpp_clause sl c
pretty print the given tclause c
using the given symbol list sl.
pretty print the given specification
as a set of Horn clauses in Prolog format.