[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# library(profile)

Profiling package for ECLiPSe programs

## Predicates

> profile(+Goal)
>   Execute Goal (once) and print profiling information
> profile(+Goal, +Options)
>   Execute Goal (once) and print profiling information

## About

- Author: Micha Meier and Stefano Novello, ECRC Munich
- Copyright © Cisco Systems, Inc
- Date: $Date: 2007/04/11 16:05:09 $

Generated from profile.eci on Sat Nov 8 06:57:29 2008