atom — Logtalk 3.100.1

object

# `atom`

Atom data type predicates.

Availability:
`logtalk_load(types(loader))`
Author: Paulo Moura
Version: 1:9:0
Date: 2023-04-12
Compilation flags:
`static, context_switching_calls`
Extends:
`public` atomic
Uses:
user
Remarks:
(none)
Inherited public predicates:
(<)/2 (=:=)/2 (=<)/2 (=\=)/2 (>)/2 (>=)/2 check/1 depth/2 ground/1 new/1 numbervars/1 numbervars/3 occurs/2 singletons/2 subsumes/2 subterm/2 valid/1 variables/2 variant/2 varnumbers/2 varnumbers/3

## 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`

### `split/3`

Splits an atom at a given delimiter into a list of sub-atoms.

Compilation flags:
`static`
Template:
`split(Atom,Delimiter,SubAtoms)`
Mode and number of proofs:
`split(+atom,+atom,-list(atom))` - `one`

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)