Go backward to Go up to Top Go forward to Program Specification

Example

Problem Statement:

Write a program that takes a number and returns the next prime number.

Program Specification

• Input: n such that isNumber(n);
• Output: p such that isNextPrime(n, p).