This operator sequentially executes the two body_term goals in the left to right order. ','/2 is a predefined infix operator. Its priority is 1000 and it is right associative (xfy).
| Examples | |
| toprove(a), toprove(b) | first the goal toprove(a) is being proven en then the goal toprove(b). |