True when the concatination of the atomic elements in List produce
the atom Atom. List may contain variables.
Re-exported predicates
The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.