YAP 7.1.0

discontiguous(+ G) More...

Detailed Description

discontiguous(+ G)

defined in the ISO standard

Avoid warnings from the sytax checker

Declare that the predicate G or list of predicates are discontiguous procedures, that is, clauses for discontigous procedures may be separated by clauses from other procedures

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