Profiler and Other Tools

The directory $BPDIR/Tools contains the sources of the following programs:

• profile.pl: report statistics about programs and their executions.
• long.pl: do arbitrary precision rational arithmetic (by R. A. O'Keefe).
• setutl.pl: utilities on sets (by Lawrence Byrd and R. A. O'Keefe).
• equation_solver.pl: solve linear equations by using the Gauss elimination method (by H. L. Zhu).

All these programs are compiled into the binary file tools.out at the directory $BPDIR. To use the tools, you can either load tools.out into the system by using load, or insert $BPDIR/tools.out after $BPDIR/bp.out in the shell file bp such that it will be loaded into the system when bp is executed. The following describes primitives in the profiler. See the sources of other programs for their usage.

• profile_src(F)
• profile_src([F1,...,Fn]) Report the following information about the program stored in the file F or a list of files F1,...,Fn:
  • What predicates that are defined?
  • What predicates are used but not defined?
  • What predicates are defined but not used?
  • What kinds of built-ins are used?

• profile_consult(File) The same as consult(File) but with gauging ability.
• profile_compile(File) The same as compile(File) but with gauging ability.
• init_profile Initialize the profile table.
• profile report the the number of times each call is executed.

To gauge the execution of a program, do the following:

1. profile_consult(File) or profile_compile(File),load(File).

2. init_profile.

3. execute a goal.

4. profile.