Go backward to ExampleGo up to TopGo forward to Input and Output Conditions |

- Input condition:
*isNumber*Unary predicate that describes well-formed input

`n`. - Output condition:
*isNextPrime*Binary predicate that describes how the output

`p`is related to the input`n`.

*Specification of an explicit construction problem.*

Author: Wolfgang Schreiner

Last Modification: October 6, 1999