.. index:: list
.. _list/0:

**object**

``list``
========

List predicates.

| **Author:** Paulo Moura
| **Version:** 2.19
| **Date:** 2019/3/18

| **Compilation flags:**
|    ``static, context_switching_calls``


| **Implements:**
|    ``public`` :ref:`listp <listp/0>`
| **Extends:**
|    ``public`` :ref:`compound <compound/0>`

Public interface
----------------

.. raw:: html

   <div id="as_difflist/2"> </div>

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


Protected interface
-------------------

(see related entities)

Private predicates
------------------

(see related entities)

Operators
---------

(none)

Remarks
-------

* **Portability notes**: This object will use the backend Prolog system length/2 and msort/2 built-in predicates when avaialble.

.. seealso::

   :ref:`list(Type) <list/1>`, :ref:`numberlist <numberlist/0>`, :ref:`varlist <varlist/0>`, :ref:`difflist <difflist/0>`

