object

term

Term utility predicates.

Availability:
logtalk_load(types(loader))
Author: Paulo Moura
Version: 1:11:0
Date: 2022-05-13
Compilation flags:
static, context_switching_calls
Implements:
public termp
Aliases:
termp variables/2 as vars/2
Remarks:
(none)
Inherited public predicates:
 (<)/2  (=:=)/2  (=<)/2  (=\=)/2  (>)/2  (>=)/2  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

(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)