- (condu (goal0 goal ...) (goal0^ goal^ ...) ...)syntax
Conditional behaving much like conde, except that condu performs a committed choice. What that means is that if the head of any goal succeeds, then the remaining goals of that clause will only be run once thereafter.