See: Description
Class | Description |
---|---|
Arg |
arg(N,T,A) - allows access to an argument of a structure. |
AtomConcat |
atom_concat(X, Y, Z) - concatenates atom names. |
CopyTerm |
copy_term(X,Y) - makes a copy of a term. |
Functor |
functor(T,F,N) |
NumberVars |
numbervars(Term,Start,End) - unifies free variables of a term. |
TermSplit |
atom_chars / atom_codes / number_chars / number_codes |
Univ |
X=..L - "univ". |
Copyright © 2024. All rights reserved.