object
atom
¶
Atom data type predicates.
Author: Paulo Moura
Version: 1:8:0
Date: 2019-11-28
Compilation flags:
static, context_switching_calls
Extends:
public
atomicRemarks:
(none)
Inherited public predicates:
Public predicates¶
replace_sub_atom/4
¶
Replaces all occurrences 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:
static
Template:
replace_sub_atom(Old,New,Input,Output)
Mode and number of proofs:
replace_sub_atom(+atom,+atom,+atom,?atom)
- zero_or_one
Protected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)