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:
staticsource: 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:
staticTemplate:
flatten_goals(Conjunction)Mode and number of proofs:
flatten_goals(+callable) - onePrivate predicates
(none)
Operators
(none)