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:0:0

Date: 2010-06-13

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)

Public predicates

(none)

Protected predicates

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)