object

term

Prolog term utility predicates.

Author: Paulo Moura

Version: 1.8

Date: 2018/6/18

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  occurs/2  singletons/2  subsumes/2  subterm/2  valid/1  variables/2  variant/2

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)