[ 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