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:
staticsource: Based on source code from The Craft of Prolog, by Richard O’Keefe
(no dependencies on other entities)
Public interface¶
(none)
Protected interface¶
flatten_goals//1¶
Flattens a conjunction of goals.
Compilation flags:
staticTemplate:
flatten_goals(Conjunction)Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)