.. index:: single: flatting
.. _flatting/0:

.. rst-class:: right

**category**

``flatting``
============

Flattens conjunction of goals with the form f and g into a list [f,g].

| **Availability:** 
|    ``logtalk_load(verdi_neruda(loader))``

| **Author:** Victor Lagerkvist
| **Version:** 1:1:0
| **Date:** 2025-10-06

| **Compilation flags:**
|    ``static``

| **source:** Based on source code from The Craft of Prolog, by Richard O'Keefe.

| **Dependencies:**
|   (none)


| **Remarks:**
|    (none)

| **Inherited public predicates:**
|    (none)

.. contents::
   :local:
   :backlinks: top

Public predicates
-----------------

(none)

Protected predicates
--------------------

.. index:: flatten_goals//1
.. _flatting/0::flatten_goals//1:

``flatten_goals//1``
^^^^^^^^^^^^^^^^^^^^

Flattens a conjunction of goals.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``flatten_goals(Conjunction)``
| **Mode and number of proofs:**
|    ``flatten_goals(+callable)`` - ``one``


------------

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

(none)

Operators
---------

(none)

