[ 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