[ 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