Did you know ... | Search Documentation: |
![]() | Pack logtalk -- logtalk-3.81.0/docs/_sources/list_0.rst.txt |
.. index:: list .. _list/0:
.. rst-class:: right
object
list
List predicates.
| Availability:
| logtalk_load(types(loader))
| Author: Paulo Moura | Version: 4:3:0 | Date: 2024-05-24
| Compilation flags:
| static, context_switching_calls
| Implements:
| public
:ref:`listp <listp/0>`
| Extends:
| public
:ref:`compound <compound/0>`
| Remarks:
| Inherited public predicates: | Â :ref:`comparingp/0::(<)/2` Â :ref:`comparingp/0::(=:=)/2` Â :ref:`comparingp/0::(=<)/2` Â :ref:`comparingp/0::(=\=)/2` Â :ref:`comparingp/0::(>)/2` Â :ref:`comparingp/0::(>=)/2` Â :ref:`listp/0::append/2` Â :ref:`listp/0::append/3` Â :ref:`termp/0::check/1` Â :ref:`listp/0::delete/3` Â :ref:`listp/0::delete_matches/3` Â :ref:`termp/0::depth/2` Â :ref:`listp/0::drop/3` Â :ref:`listp/0::empty/1` Â :ref:`listp/0::flatten/2` Â :ref:`termp/0::ground/1` Â :ref:`listp/0::hamming_distance/3` Â :ref:`listp/0::keysort/2` Â :ref:`listp/0::last/2` Â :ref:`listp/0::length/2` Â :ref:`listp/0::max/2` Â :ref:`listp/0::member/2` Â :ref:`listp/0::memberchk/2` Â :ref:`listp/0::min/2` Â :ref:`listp/0::msort/2` Â :ref:`listp/0::msort/3` Â :ref:`termp/0::new/1` Â :ref:`listp/0::nextto/3` Â :ref:`listp/0::nth0/3` Â :ref:`listp/0::nth0/4` Â :ref:`listp/0::nth1/3` Â :ref:`listp/0::nth1/4` Â :ref:`termp/0::numbervars/1` Â :ref:`termp/0::numbervars/3` Â :ref:`listp/0::occurrences/2` Â :ref:`listp/0::occurrences/3` Â :ref:`termp/0::occurs/2` Â :ref:`listp/0::partition/5` Â :ref:`listp/0::permutation/2` Â :ref:`listp/0::prefix/2` Â :ref:`listp/0::prefix/3` Â :ref:`listp/0::proper_prefix/2` Â :ref:`listp/0::proper_prefix/3` Â :ref:`listp/0::proper_suffix/2` Â :ref:`listp/0::proper_suffix/3` Â :ref:`listp/0::remove_duplicates/2` Â :ref:`listp/0::reverse/2` Â :ref:`listp/0::same_length/2` Â :ref:`listp/0::same_length/3` Â :ref:`listp/0::select/3` Â :ref:`listp/0::select/4` Â :ref:`listp/0::selectchk/3` Â :ref:`listp/0::selectchk/4` Â :ref:`listp/0::sequential_occurrences/2` Â :ref:`listp/0::sequential_occurrences/3` Â :ref:`termp/0::singletons/2` Â :ref:`listp/0::sort/2` Â :ref:`listp/0::sort/3` Â :ref:`listp/0::sort/4` Â :ref:`listp/0::split/4` Â :ref:`listp/0::sublist/2` Â :ref:`listp/0::subsequence/3` Â :ref:`listp/0::subsequence/4` Â :ref:`listp/0::substitute/4` Â :ref:`termp/0::subsumes/2` Â :ref:`termp/0::subterm/2` Â :ref:`listp/0::subtract/3` Â :ref:`listp/0::suffix/2` Â :ref:`listp/0::suffix/3` Â :ref:`listp/0::take/3` Â :ref:`termp/0::valid/1` Â :ref:`termp/0::variables/2` Â :ref:`termp/0::variant/2` Â :ref:`termp/0::varnumbers/2` Â :ref:`termp/0::varnumbers/3` Â
.. contents:: :local: :backlinks: top
.. index:: as_difflist/2 .. _list/0::as_difflist/2:
as_difflist/2 ^^^^^^^^^^^^^^^^^
Converts a list to a difference list.
| Compilation flags:
| static
| Template:
| as_difflist(List,Diffist)
| Mode and number of proofs:
| as_difflist(+list,-difference_list)
- one
(no local declarations; see entity ancestors if any)
(no local declarations; see entity ancestors if any)
(none)
.. seealso::
:ref:`list(Type)
<list/1>`, :ref:`numberlist <numberlist/0>`, :ref:`varlist <varlist/0>`, :ref:`difflist <difflist/0>`