object

# `term`

Term utility predicates.

Author: Paulo Moura
Version: 1:9:0
Date: 2021-03-25
Compilation flags:
`static, context_switching_calls`
Implements:
`public` termp
Aliases:
`termp` `variables/2` as `vars/2`
Remarks:
(none)
Inherited public predicates:
check/1 depth/2 ground/1 new/1 numbervars/1 numbervars/3 occurs/2 singletons/2 subsumes/2 subterm/2 valid/1 variables/2 variant/2 varnumbers/2 varnumbers/3

- Public predicates

- Protected predicates

- Private predicates

- Operators

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)