category

flatting

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

Author: Victor Lagerkvist
Version: 1.0
Date: 2010/6/13
Compilation flags:
static
source: Based on source code from The Craft of Prolog, by Richard O’Keefe
Dependencies:
(none)
Remarks:
(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

Operators

(none)