tf_prolog Documentation

tf_prolog
Author(s): Sjoerd van den Dries, Moritz Tenorth
autogenerated on Fri Jan 11 09:36:37 2013