: of - author: version: date: compilation: : implements: imports: extends: instantiates: specializes: uses: calls: (no dependencies on other files) Public interface (see related entities) (none) Protected interface (see related entities) (none) Private predicates (see related entities) (none) compilation: template: - meta-predicate template: mode - number of solutions: - exceptions: : examples: : Remarks (none)