Module prime_mem provides low-level predicates for the memoization of pairs of consecutive prime numbers.

NOTE: Predicates in this module are not meant for public use.

author

- Julio P. Di Egidio

version

- 1.2.5-beta

copyright

- 2016 Julio P. Di Egidio

license

- GNU GPLv3

To be done

- Use gobal variables?

- Implement size limits? (By recent use?)

 gen_(?P1:prime, ?P2:prime) is nondet

 get_(+P0:prime) is semidet

 get_(+P0:prime, -P:prime) is semidet

 get_(-P:prime, +P0:prime) is semidet

 add_(+P1:prime, +P2:prime) is det

 count_(-Count:nonneg) is det

 max_(-Max:prime) is det

 clear_ is det