SWI-Prolog Did You Know Did you know? C-+ and C-- changes font size in pceEmacs Search Documentation:
Predicate crypto_curve_order/2