- (conda (goal0 goal ...) (goal0^ goal^ ...) ...)syntax
Conditional behaving much like conde, except that conda does a soft-cut over the remaining goals. That is to say, if any of the heads of the clauses succeed, then the remaining clauses will all be cut (i.e. ignored) from future searches.