Utilities On Terms¶
The next routines provide a set of commonly used utilities to manipulate terms.
Most of these utilities have been implemented in C for efficiency. They are available through the use_module(library(terms)) command.
The next routines provide a set of commonly used utilities to manipulate terms.
Most of these utilities have been implemented in C for efficiency. They are available through the use_module(library(terms)) command.