Prolog: Add searching integer trace.
Prolog: Add IO predicates.
Prolog: Little ad-dons.