[ Control | Reference Manual | Alphabetic Index ]

# +Goal1 , +Goal2

Comma (AND) operator - succeeds if the goals Goal1 and Goal2 both succeed

Goal1
  Atom or compound term.
Goal2
  Atom or compound term.

## Description

Succeeds if both Goal1 and Goal2 can be satisfied.

Note that !/0 cuts through ,/2.

### Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

### Fail Conditions

Fails if either Goal1 or Goal2 fails

### Resatisfiable

Resatisfiable if either Goal1 or Goal2 are resatisfiable

## Examples

    Success:
          [eclipse]: (F="file1", writeln(F)).
          file1
          F = "file1"
          yes.

          [eclipse]: call((write(a), write(b))).
          ab
          yes.

## See Also

; / 2