control.pl -- Control structures in mongolog programs.
The following predicates are supported:
Predicate
Arguments
fail/0
false/0
true/0
!/0
\+/1
:Goal
->/2
:Condition, :Action
;/2
:Goal1, :Goal2
author
- Daniel Beßler
See also
-
https://www.swi-prolog.org/pldoc/man?section=control
license
- BSD