block/1

block(C) More...

Detailed Description

block(C)

The argument to block/1 is a condition on a goal or a conjunction of conditions, with each element separated by commas Each condition is of the form predname( _C1_,..., _CN_), where N is the arity of the goal, and each CI is of the form -, if the argument must suspend until the first such variable is bound, or ?, otherwise

---

The documentation for this class was generated from the following file:

• /home/vsc/github/yap/docs/md/attributes.md