object
atom¶
Atom data type predicates.
Author: Paulo Moura
Version: 1.6
Date: 2018/7/11
Compilation flags:
static, context_switching_callsExtends:
public atomicPublic interface¶
replace_sub_atom/4¶
Replaces all occurences of Old by New in Input returning Output. Returns Input if Old is the empty atom. Fails when Output does not unify with the resulting atom.
Compilation flags:
staticTemplate:
replace_sub_atom(Old,New,Input,Output)Mode and number of proofs:
replace_sub_atom(+atom,+atom,+atom,-atom) - onesplit/3¶
Splits an atom at a given delimiter into a list of sub-atoms.
Compilation flags:
staticTemplate:
split(Atom,Delimiter,SubAtoms)Mode and number of proofs:
split(+atom,+atom,-list(atom)) - oneProtected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
(none)