Did you know ... Search Documentation:
Pack pac -- prolog/misc/prooftree.pl
PublicShow source

Undocumented predicates

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

 prooftree(Arg1, Arg2)
 checkproof(Arg1, Arg2)
 proof(Arg1, Arg2)
 proof_figure(Arg1, Arg2)